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.
"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.
Librería: WeBuyBooks, Rossendale, LANCS, Reino Unido
Condición: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Nº de ref. del artículo: rev6575393162
Cantidad disponible: 1 disponibles
Librería: Blue Fog Books, Arlington Heights, IL, Estados Unidos de America
Hardcover. Condición: Good. Sun fading to covers. No names, underlining, notes or highlighting. p1. Nº de ref. del artículo: ABE-1769904560984
Cantidad disponible: 1 disponibles