شماره ركورد

41521

شماره مدرك

4383884

نويسنده/تنالگان

Gerwin Klein

عنوان

Interactive Theorem Proving

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319089690;9783319089706