Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings 1st Auflage verfasst von Richard J. Boulton; Paul B. Jackson und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Theorem Proving in Higher Order Logics lauten 9783540447559, 3540447555 und die Druck-ISBNs lauten 9783540425250, 354042525X. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings 1st Auflage verfasst von Richard J. Boulton; Paul B. Jackson und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Theorem Proving in Higher Order Logics lauten 9783540447559, 3540447555 und die Druck-ISBNs lauten 9783540425250, 354042525X. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.