شماره ركورد

31796

شماره مدرك

4392253

نويسنده/تنالگان

Neng-Fa Zhou

عنوان

Constraint Solving and Planning with Picat

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319258812;9783319258836