Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Theorem Proving in Higher Order Logics

20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, 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-74591-4 / 978-3540745914 / 9783540745914

Verlag: Springer Berlin

Erscheinungsdatum: 23.08.2007

Seiten: 404

Herausgegeben von Klaus Schneider, Jens Brandt

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück