9783642396342
IR
EN-37356
انگلیسی
IR
Interactive Theorem Proving
[Book]
/ Mohring, David Pichardie-Sandrine Blazy, Christine Paulin
Springer
, 2013.
Electronic
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
E-BOOK
Sandrine Blazy
ایران
Interactive Theorem Proving
محرمانه
محرمانه
974773.pdf
متن
old catalog
e
BL
1
a
Y
