عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1632
QA
76
.
L28
Vol
.
1632
کتابخانه
محل استقرار
Automated deduction--CADE-16 : 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
16th: 1999: Trento, Italy
Berlin
Springer-Verlag
c1999
xiv, 428 p.: ill., tables
Lecture notes in computer science; 2361. Lecture notes in artificial intelligence
Includes bibliographies
ISBN 3540662227
Harald Ganzinger )ed.(
1
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
1632
AU
AU Ganzinger, Harald, 1950-
TI
SE Lecture notes in computer science 1632
International Conference on Automated Deduction
