Isbn: 9780720404999 - automated theorem proving: a logical basis (2 resultados)
- Tapa dura
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, AlemaniaAntiquariat Thomas Haker GmbH & Co. KG
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: GIAQ
Condición: Usado - Bueno
EUR 28,70
Envío por EUR 20,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Hardcover. Condición: Gut. 405 p., Good condition according to age. Note of ownership. Paper slightly brownished at the edges. Sprache: Englisch Gewicht in Gramm: 940.
- Tapa dura
Librería: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, AlemaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 189,90
Envío por EUR 39,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: gut. 1978. Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6. In englischer Sprache. pages.
