Deutsch  Français  Nederlands 

Bertot, Yves et. al. (Eds.): - Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.

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.
EUR 14.10 [Appr.: US$ 15.15 | £UK 12.25 | JP¥ 2351] Book number 818986

is offered by:


Antiquariat Thomas Haker GmbH & Co. KG
Paul-Robeson-Str. 22, 10439 Berlin Prenzlauer Berg, Germany Tel.: +49 30 46 79 61 87 | Fax: +49 30 46 79 61 89
Email: bestellung@antiquariat-in-berlin.de




  Order this book

Ask for information

Back to your search results