شماره ركورد
28309
شماره مدرك
4382051
نويسنده/تنالگان
Sergei Artemov
عنوان
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
اطلاعات نشر
Springer
سال نشر
2016
شابك
9783319276823 ; 9783319276823 ; 9783319276823 ; 9783319276830 ; 9783319276830 ; 9783319276830
Link To Document