شماره ركورد :
14901
شماره مدرك :
3729983
نويسنده/تنالگان :
MILLER
عنوان :
Programming with Higher-Order Logic
اطلاعات نشر :
Cambridge University Press
سال نشر :
2012
شابك :
9781139021326
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=26&DC=14901
