Noch Fragen? 0800 / 33 82 637

Theorem Proving in Higher Order Logics

15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. 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-45685-8 / 978-3540456858 / 9783540456858

Verlag: Springer Berlin

Erscheinungsdatum: 02.08.2003

Seiten: 347

Herausgegeben von Sofiène Tahar, Victor A. Carreno, Cesar A. Munoz

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück