عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1421
QA
76
.
L28
Vol
.
1421
کتابخانه
محل استقرار
Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
15th: 1998: Lindau, Germany
Berlin
Springer-Verlag
c1998
xiv, 441 p.: ill., tables
Lecture notes in computer science; 1241. Lecture notes in artificial intelligence
Includes bibliographies
ISBN 3540646752
Claude Kirchner, Helene Kirchner, )eds.(
1
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
1421
AU
AU Kirchner, Claude
AU Kirchner, Helene
TI
SE Lecture notes in computer science 1421
International Conference on Automated Deduction
