Articoli correlati a A Many-Sorted Calculus Based on Resolution and Paramodulatio...
Compra nuovo
Visualizza questo articolo
EUR 39,98
EUR 11,56 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costi
Risultati della ricerca per A Many-Sorted Calculus Based on Resolution and Paramodulatio...
Foto dell'editore
A Many-Sorted Calculus Based on Resolution and Paramodulation
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: 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. Codice articolo E-576-109
Quantità: 1 disponibili
Foto dell'editore
A Many-Sorted Calculus Based on Resolution and Paramodulation
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 9536060
Quantità: 1 disponibili
Foto dell'editore
A Many-Sorted Calculus Based on Resolution and Paramodulation
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Codice articolo 3163928-6
Quantità: 1 disponibili
Foto dell'editore
Many Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 168 pages. 9.75x6.75x0.38 inches. In Stock. Codice articolo zk0273087185
Quantità: 1 disponibili
Foto dell'editore
A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)
Editore:
Morgan Kaufman Publishers, 1987
ISBN 10: 0273087185
ISBN 13: 9780273087182
Antico o usato
Paperback
Da: BookDepart, Shepherdstown, WV, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: UsedGood. Softcover; surplus library copy with the usual stampings; fading and shelf wear to exterior; otherwise in good condition with clean text, firm binding. Codice articolo 67206
Quantità: 1 disponibili