Articoli correlati a Automated Theorem Proving: After 25 Years
Sinossi
Questo libro trova un degno posto all'interno del panorama della letteratura e dell'insegnamento grazie alle parole e alle espressioni che gli donano un carattere distintivo.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 71,92
EUR 8,07 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiRisultati della ricerca per Automated Theorem Proving: After 25 Years
Immagini fornite dal venditore
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.
Editore:
Providence, American Math. Soc, 1985
ISBN 10: 082185027X
ISBN 13: 9780821850275
Antico o usato
Softcover
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
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. Codice articolo 2516293
Quantità: 1 disponibili
Foto dell'editore
Automated Theorem Proving: After 25 Years (Contemporary Mathematics).
Editore:
American Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Antico o usato
Broschiert
Da: Antiquariat Bernhardt, Kassel, Germania
Valutazione del venditore 5 su 5 stelle
Broschiert. Condizione: Gut. Contemporary Mathematics, Volume 29. Zust: Gutes Exemplar. Cover leicht verschmutzt. Mit Vorbesitzereintrag. IX, 360 Seiten, Englisch 498g. Codice articolo 492702
Quantità: 1 disponibili
Foto dell'editore
Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
Editore:
Amer Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Antico o usato
Paperback
Da: Basement Seller 101, Cincinnati, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Codice articolo 201229092
Quantità: 1 disponibili
Foto dell'editore
Contemporary Mathematics: Volume 29. Automated Theorem Proving: After 25 Years.
Editore:
Amer Mathematical Society, New York
ISBN 10: 082185027X
ISBN 13: 9780821850275
Antico o usato
Softcover
Prima edizione
Da: Alien Bindings, BALTIMORE, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: 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. Codice articolo 09705
Quantità: 1 disponibili
Foto dell'editore
Automated Theorem Proving: after 25 Years
Editore:
American Math Soc, Province RI, 1985
ISBN 10: 082185027X
ISBN 13: 9780821850275
Antico o usato
Paperback
Da: T. A. Borden Books, Olney, MD, U.S.A.
Valutazione del venditore 4 su 5 stelle
Paperback. Second Printing. Near Fine+; Contemporary Math V29; 360 pages. Codice articolo 23600
Quantità: 1 disponibili
Foto dell'editore
AUTOMATED THEOREM PROVING AFTER 25 YEAR
Da: Speedyhen, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: NEW. Codice articolo NW9780821850275
Quantità: 2 disponibili
Foto dell'editore
Automated Theorem Proving : After 25 Years
Editore:
American Mathematical Society Dez 1984, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware. Codice articolo 9780821850275
Quantità: 2 disponibili
Immagini fornite dal venditore
Automated Theorem Proving
Editore:
American Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 595068152
Quantità: 2 disponibili
Immagini fornite dal venditore
Automated Theorem Proving : After 25 Years
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 19136892-n
Quantità: 2 disponibili
Immagini fornite dal venditore
Automated Theorem Proving
Editore:
American Mathematical Society, US, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Nuovo
Paperback
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo LU-9780821850275
Quantità: 1 disponibili