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

Interactive Theorem Proving

(0)
Erste Bewertung abgeben
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held...

CHF59.90

Download steht sofort bereit

Wird oft zusammen gekauft

Andere Kunden kauften auch