Artículos relacionados a Automated Theorem Proving: After 25 Years (Contemporary...
Comprar nuevo
Ver este artículo
EUR 72,00
EUR 9,23 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Automated Theorem Proving: After 25 Years (Contemporary...
Imagen del vendedor
Automated theorem proving. After 25 years. Proceedings of the special session on automatic theorem proving 89th annual meeting of the American Mathematical Society, held in Denver, Colorado, January 5 - 9, 1983.
Publicado por
Providence, American Math. Soc, 1985
ISBN 10: 082185027X
ISBN 13: 9780821850275
Antiguo o usado
Softcover
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
Softcover. Reprint. 360 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. A00507 082185027X Sprache: Englisch Gewicht in Gramm: 550. Nº de ref. del artículo: 2516293
Cantidad disponible: 1 disponibles
Imagen de archivo
Automated Theorem Proving: After 25 Years (Contemporary Mathematics).
Publicado por
American Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Antiguo o usado
Broschiert
Librería: Antiquariat Bernhardt, Kassel, Alemania
Calificación del vendedor: 5 de 5 estrellas
Broschiert. Condición: Gut. Contemporary Mathematics, Volume 29. Zust: Gutes Exemplar. Cover leicht verschmutzt. Mit Vorbesitzereintrag. IX, 360 Seiten, Englisch 498g. Nº de ref. del artículo: 492702
Cantidad disponible: 1 disponibles
Imagen de archivo
Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
Publicado por
Amer Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Antiguo o usado
Paperback
Librería: Basement Seller 101, Cincinnati, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. Nº de ref. del artículo: 201229092
Cantidad disponible: 1 disponibles
Imagen de archivo
Contemporary Mathematics: Volume 29. Automated Theorem Proving: After 25 Years.
Publicado por
Amer Mathematical Society, New York
ISBN 10: 082185027X
ISBN 13: 9780821850275
Antiguo o usado
Softcover
Original o primera edición
Librería: Alien Bindings, BALTIMORE, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: Very Good. No Jacket. First Edition. Vol. 29 of Contemporary Mathematics(Automated Theorem Proving: After 25 Years). Creased upper corner of the front cover, otherwise the covers look great. The binding is tight. The title page is stamped. The interior pages are clean and unmarked. Electronic delivery tracking will be issued free of charge. Nº de ref. del artículo: 09705
Cantidad disponible: 1 disponibles
Imagen de archivo
Automated Theorem Proving: after 25 Years
Publicado por
American Math Soc, Province RI, 1985
ISBN 10: 082185027X
ISBN 13: 9780821850275
Antiguo o usado
Paperback
Librería: T. A. Borden Books, Olney, MD, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Paperback. Second Printing. Near Fine+; Contemporary Math V29; 360 pages. Nº de ref. del artículo: 23600
Cantidad disponible: 1 disponibles
Imagen de archivo
AUTOMATED THEOREM PROVING AFTER 25 YEAR
Publicado por
Amer Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Nuevo
Tapa blanda
Librería: Speedyhen, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: NEW. Nº de ref. del artículo: NW9780821850275
Cantidad disponible: 2 disponibles
Imagen de archivo
Bledsoe:Auto Theo Prov Conm 29 P (Contemporary Mathematics)
Publicado por
American Mathematical Society 1984-12-15, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Nuevo
Paperback
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-GRD-9780821850275
Cantidad disponible: 2 disponibles
Imagen del vendedor
Automated Theorem Proving : After 25 Years
Publicado por
Amer Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Nuevo
Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 19136892-n
Cantidad disponible: 2 disponibles
Imagen del vendedor
Automated Theorem Proving
Publicado por
American Mathematical Society, US, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Nuevo
Paperback
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: LU-9780821850275
Cantidad disponible: 1 disponibles
Imagen de archivo
Automated Theorem Proving : After 25 Years
Publicado por
American Mathematical Society Dez 1984, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware. Nº de ref. del artículo: 9780821850275
Cantidad disponible: 2 disponibles