Isbn: 9780273087182 - a many-sorted calculus based on resolution and paramodulation (3 risultati)
- Brossura
Da: BookDepart, Shepherdstown, WV, U.S.A.BookDepart
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 17,29
EUR 7,50 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
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.
Altre immagini- Brossura
- Prima edizione
Da: Southampton Books, Sag Harbor, NY, U.S.A.Southampton Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 32,04
EUR 4,43 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
Paperback. Condizione: Very Good. First Edition. First Edition, First Printing. Published by Morgan Kaufmann, 1987. Octavo. Paperback. Book is very good.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 40,68
EUR 14,71 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Paperback. Condizione: Brand New. 168 pages. 9.75x6.75x0.38 inches. In Stock.
