Verwandte Artikel zu A Many Sorted Calculus Based on Resolution and Paramodulatio...

A Many Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence) - Softcover

Walther

 
9780934613491: A Many Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)
Softcover
ISBN 10: 0934613494 ISBN 13: 9780934613491
Verlag: Morgan Kaufmann Publishers In, 1994

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Book by Walther Christoph

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Morgan Kaufmann Publishers In
Erscheinungsdatum
1994
Sprache
Englisch
ISBN 10 
0934613494
ISBN 13 
9780934613491
Einband
Tapa blanda
Anzahl der Seiten
160
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9780273087182: A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)

Vorgestellte Ausgabe

ISBN 10:  0273087185 ISBN 13:  9780273087182
Verlag: Morgan Kaufmann, 1987
Softcover