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: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-540-74590-7 / 978-3540745907 / 9783540745907

Verlag: Springer Berlin

Erscheinungsdatum: 28.08.2007

Seiten: 404

Auflage: 1

Zielgruppe: Research

Herausgegeben von Klaus Schneider, Jens Brandt

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück