Willkommen. Schön, sind Sie da!
Mein Ex Libris

Theorem Proving in Higher Order Logics

(0)
Erste Bewertung abgeben
Thisvolumecontainstheproceedingsofthe 15th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs2002)heldon20 23Aug...

20%

130.00

CHF104.00

Sie sparen CHF 26.00

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband