شماره ركورد

39430

شماره مدرك

4379711

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

Sandrine Blazy

عنوان

Interactive Theorem Proving

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642396342;9783642396335