Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Schmidt-Schau??, Manfred:

ISBN 10: 3540517057 / ISBN 13: 9783540517054

Edité par Springer, 1989

A propos de cet article

184 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 270 23,1 x 15,2 x 1,3 cm, Taschenbuch.

N° de réf. du vendeur 370895

Détails bibliographiques

• Titre: Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
• Éditeur: Springer
• Date de parution: 1989
• Langue: anglais
• ISBN à 10 chiffres: 3540517057
• ISBN à 13 chiffres: 9783540517054
• Reliure: Couverture souple
• Édition: Auflage: 1989.
• État de l'article: Sehr gut
• Catalogues du vendeur:
  • Alle Bücher