Book by Boyer Robert S Moore J Strother
"Sinopsis" puede pertenecer a otra edición de este libro.
Contains a precise and complete description of the computational logic develo by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 10,00 gastos de envío desde Francia a Estados Unidos de America
Destinos, gastos y plazos de envíoLibrería: Ammareal, Morangis, Francia
Hardcover. Condición: Bon. Ancien livre de bibliothèque. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: F-934-114
Cantidad disponible: 1 disponibles
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_378725293
Cantidad disponible: 1 disponibles
Librería: Mispah books, Redhill, SURRE, Reino Unido
Hardcover. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA75801212295215
Cantidad disponible: 1 disponibles