عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook12730
eng
21- CADE--Automated deduction
:first International Conference on Automated Deduction. ; International Conference on Automated Deduction. ; -one. ; 21st International Conference on Automated Deduction. ; Twenty-twenty-21. ; CADE-Automated deduction. ; CADE
Berlin ;New York :
: Springer,
, 2007.
Print
Automatic theorem proving ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
Pfenning, Frank. ;
old catalog
