شماره ركورد
22129
شماره مدرك
4364771
نويسنده/تنالگان
Maurizio Proietti
عنوان
Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014 (Lecture Notes in Computer Science)
اطلاعات نشر
Springer
سال نشر
2015
شابك
3319178210
Link To Document