Author: Bertot, Yves et. al. (Eds.):
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


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