Noch Fragen? 0800 / 33 82 637

Theorem Proving in Higher Order Logics

12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem


Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-540-48256-7 / 978-3540482567 / 9783540482567

Verlag: Springer Berlin

Erscheinungsdatum: 31.07.2003

Seiten: 364

Herausgegeben von André Hirschowitz, Yves Bertot, Gilles Dowek, Christine Paulin, Laurent Thery

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück