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

Towards Mechanized Mathematical Assistants

(0)
Erste Bewertung abgeben
This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007...

CHF59.90

Download steht sofort bereit

Wird oft zusammen gekauft

Andere Kunden kauften auch