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
Neu kaufen
Diesen Artikel anzeigen
EUR 40,04
EUR 11,58 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für A Many-Sorted Calculus Based on Resolution and Paramodulatio...
Beispielbild für diese ISBN
A Many-Sorted Calculus Based on Resolution and Paramodulation
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-576-109
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
A Many-Sorted Calculus Based on Resolution and Paramodulation
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In fair condition, suitable as a study copy. Re-bound by library. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9780273087182. Bestandsnummer des Verkäufers 9536060
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
A Many-Sorted Calculus Based on Resolution and Paramodulation
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Bestandsnummer des Verkäufers 3163928-6
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Many Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 168 pages. 9.75x6.75x0.38 inches. In Stock. Bestandsnummer des Verkäufers zk0273087185
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)
Verlag:
Morgan Kaufman Publishers, 1987
ISBN 10: 0273087185
ISBN 13: 9780273087182
Gebraucht
Paperback
Anbieter: BookDepart, Shepherdstown, WV, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: UsedGood. Softcover; surplus library copy with the usual stampings; fading and shelf wear to exterior; otherwise in good condition with clean text, firm binding. Bestandsnummer des Verkäufers 67206
Anzahl: 1 verfügbar