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: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Hardcover. Condición: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0121229521I3N10
Cantidad disponible: 1 disponibles
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
Librería: Mispah books, Redhill, SURRE, Reino Unido
Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Nº de ref. del artículo: ERICA75801212295215
Cantidad disponible: 1 disponibles