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

Verlag: Springer, 1989

Beschreibung

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.

Bestandsnummer des Verkäufers 370895

Bibliografische Details

• Titel: Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
• Verlag: Springer
• Veröffentlichungsdatum: 1989
• Sprache: Englisch
• ISBN-10: 3540517057
• ISBN-13: 9783540517054
• Bindung: Softcover
• Ausgabe: Auflage: 1989.
• Zustand: Sehr gut
• Verkäuferkataloge:
  • Alle Bücher