Artículos relacionados a Automated Theorem Proving: A Logical Basis
Resultados de la búsqueda para Automated Theorem Proving: A Logical Basis
Imagen de archivo
Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6.
Publicado por
Amsterdam (NL), North-Holland., 1978
ISBN 10: 0720404991
ISBN 13: 9780720404999
Antiguo o usado
Tapa dura
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
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. Nº de ref. del artículo: 861127
Comprar usado
EUR 28,70
Envío por EUR 20,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6. Loveland, Donald W.
Publicado por
Amsterdam (NL), North-Holland., 1978
ISBN 10: 0720404991
ISBN 13: 9780720404999
Antiguo o usado
Tapa dura
Librería: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: gut. 1978. Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6. In englischer Sprache. pages. Nº de ref. del artículo: BN701015
Comprar usado
EUR 189,90
Envío por EUR 39,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles