Articoli correlati a A Many-Sorted Calculus Based on Resolution and Paramodulatio...
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 (Research Not Es 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
Compra usato
EUR 17,30
Spedizione EUR 7,50
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
A Many-Sorted Calculus Based on Resolution and Paramodulation
Editore:
Morgan Kaufmann, 1987
ISBN 10: 0273087185
ISBN 13: 9780273087182
Antico o usato
Paperback
Prima edizione
Da: Southampton Books, Sag Harbor, NY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. First Edition. First Edition, First Printing. Published by Morgan Kaufmann, 1987. Octavo. Paperback. Book is very good. Codice articolo 540079
Compra usato
EUR 32,05
Spedizione EUR 4,44
Spedito in U.S.A.
Spedito in U.S.A.
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
Compra nuovo
EUR 40,56
Spedizione EUR 14,67
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili