شماره ركورد
12279
شماره مدرك
4363646
نويسنده/تنالگان
Neng-Fa Zhou
عنوان
Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems)
اطلاعات نشر
Springer
سال نشر
2015
شابك
9783319258812
Link To Document
https://search.isc.ac/dl/search/defaultta.aspx?DTC=26&DC=12279