9783642221194
IR
EN-42671
انگلیسی
IR
Automated Reasoning with Analytic Tableaux and Related Methods
[Book]
/ nnler, George MetcalfeیKai Br
fa
Springer
, 2011.
Electronic
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
E-BOOK
nnlerیKai Br
ایران
Automated Reasoning with Analytic Tableaux and Related Methods
محرمانه
محرمانه
972503.pdf
متن
old catalog
e
BL
1
a
Y
