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...

Tiefpreis

CHF100.00

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

Wird oft zusammen gekauft

Andere Kunden kauften auch