9783642323478
IR
EN-39956
انگلیسی
IR
Interactive Theorem Proving
[Book]
/ Lennart Beringer, Amy Felty
Springer
, 2012.
Electronic
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
E-BOOK
Lennart Beringer
ایران
Interactive Theorem Proving
محرمانه
محرمانه
973677.pdf
متن
old catalog
e
BL
1
a
Y
