عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.3632
QA
76
.
L28
Vol
.
3632
کتابخانه
محل استقرار
Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings
20th : 2005 : Tallinn, Estonia
Berlin
Springer-Verlag
c2005
xiii, 457 p.: ill
Lecture notes in computer science; 2363. Lecture notes in artificial intelligence
Includes bibliographies
ISBN: 3540280057
Robert Nieuwenhuis )ed.(
1
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
3632
NO
AU
AU Nieuwenhuis, Robert
TI
SE Lecture notes in computer science 3632
International Conference on Automated Deduction
