شماره ركورد :
41087
شماره مدرك :
4395205
نويسنده/تنالگان :
Christian Urban
عنوان :
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
اطلاعات نشر :
Springer
سال نشر :
2015
شابك :
9783319221014 ; 9783319221014 ; 9783319221014 ; 9783319221014 ; 9783319221014 ; 9783319221014 ; 9783319221021 ; 9783319221021 ; 9783319221021 ; 9783319221021 ; 9783319221021 ; 9783319221021
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=26&DC=41087
بازگشت