A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence) - Softcover
Weitere beliebte Ausgaben desselben Titels
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 (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
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
Gebraucht kaufen
EUR 12,77
Versand:
EUR 14,73
Von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
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
Gebraucht kaufen
EUR 6,99
Versand:
EUR 22,50
Von Frankreich nach USA
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
Neu kaufen
EUR 39,36
Versand:
EUR 14,23
Von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar