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

Walther, Christoph

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, 1987

Zu dieser ISBN ist aktuell kein Angebot verf�gbar.

Book by Walther, Christoph

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

Verlag: Morgan Kaufmann Publishers In
Erscheinungsdatum: 1987
Sprache: Englisch
ISBN 10: 0934613494
ISBN 13: 9780934613491
Einband: Taschenbuch
Anzahl der Seiten: 160
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: Nicht verf�gbar