Ask a question or
Order this book


Browse our books
Search our books
Book dealer info



Title: Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.
Description: Berlin: Springer. 1999. VIII, 358 S. with fig and tables; 24 cm, Paperback. Like new. Shrink wrapped. / Wie neu. In Folie verschweisst. Free shipping within Germany. Shipping costs to EU-countries: 9.50 EUR, to non-EU-countries: 15.00 EUR.

Keywords: Automatisches Beweisverfahren ; Kongress ; Nizza ; HOL ; Kongress ; Nizza, Informatics, Datenverarbeitung ISBN: 9783540664635

Price: EUR 10.20 = appr. US$ 11.09 Seller: Antiquariat Thomas Haker
- Book number: 818986

See more books from our catalog: Informatik, Hardware, Software