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: Books Puddle, New York, NY, Estados Unidos de America
Condición: New. pp. xvi + 408 Index. Nº de ref. del artículo: 2645381520
Cantidad disponible: 1 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: New. pp. xvi + 408. Nº de ref. del artículo: 46385231
Cantidad disponible: 1 disponibles
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Condición: New. pp. xvi + 408. Nº de ref. del artículo: 1845381530
Cantidad disponible: 1 disponibles
Librería: Blue Fog Books, Arlington Heights, IL, Estados Unidos de America
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