9780387945934 - first-order logic and automated theorem proving di fitting, melvin (1 risultati)
Lingua: Inglese
Editore: Springer, New York, NY, 1995
- Rilegato
Da: True Oak Books, Highland, NY, U.S.A.True Oak Books
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: IOBA
Condizione: Usato - Buono
EUR 89,02
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.
