9780387945934 - first-order logic and automated theorem proving di fitting, melvin (2 risultati)
Lingua: Spagnolo
Editore: Springer 1995
Serie: Texts in Computer Science, Libro 28 di 83. Libro 28 di 83 - Texts in Computer Science
- Rilegato
Da: Night Heron Books, Laramie, U.S.A.Night Heron Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 65,19
EUR 3,68 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: Very Good. Binding tight.Cover clean.Minor wear to page edges and corners. Hardcover.No writing, highlighting, or marks in text.
Lingua: Inglese
Editore: Springer, New York, NY 1995
Serie: Texts in Computer Science, Libro 28 di 83. Libro 28 di 83 - Texts in Computer Science
- Rilegato
Da: True Oak Books, Highland, U.S.A.True Oak Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 89,29
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Good. No Dust Jacket. Second Edition; First Printing. Texts In Computer Science; 7.25 X 1 X 9.75 inches; 326 pages; minor water exposure wrinkles on the first and last 4-5 pages. Minor shelf wear on front cover. Minor discoloration of textblock. Previous owner's name on front free endpaper. Very Good condi…tion otherwise. No other noteworthy defects. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
