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

Interactive Theorem Proving

(0)
Erste Bewertung abgeben
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjin...

Tiefpreis

CHF78.40

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

Wird oft zusammen gekauft

Andere Kunden kauften auch