Contains a precise and complete description of the computational logic developed by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Book by Boyer Robert S Moore J Strother
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Condizione: 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. Codice articolo rev6575393162
Quantità: 1 disponibili
Da: Blue Fog Books, Arlington Heights, IL, U.S.A.
Hardcover. Condizione: Good. Sun fading to covers. No names, underlining, notes or highlighting. p1. Codice articolo ABE-1769904560984
Quantità: 1 disponibili