عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook37388
eng
17 :-CADE--Automated deduction
:17 ; -CADE
Berlin ;New York :
: Springer,
, 2000.
Print
Automatic theorem proving ; Congresses ; Logic, Symbolic and mathematical ; Congresses ;
McAllester, David A ;
old catalog
