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: Better World Books, Mishawaka, IN, Estados Unidos de America
Condición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Nº de ref. del artículo: 3106389-6
Cantidad disponible: 1 disponibles
Librería: WeBuyBooks, Rossendale, LANCS, Reino Unido
hardcover. 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