شماره ركورد
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