IR
EN-21529
انگلیسی
IR
Order Logic-Programming with Higher
[Book]
/ Dale Miller, Gopalan Nadathur
Cambridge University Press
, 2012.
Electronic
COMPUTER SCIENCE, SOFTWARE ENGINEERING
E-BOOK
Dale Miller
ایران
Programming with Higher-Order Logic
عادی
محرمانه
1584218.pdf
متن
old catalog
e
BL
1
a
Y
