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


Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-540-44039-0 / 978-3540440390 / 9783540440390

Verlag: Springer Berlin

Erscheinungsdatum: 07.08.2002

Seiten: 347

Auflage: 1

Zielgruppe: Research

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

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück