عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 I57 1998
QA
76
.
9
.
A96
I57
1998
کتابخانه
محل استقرار
استان: خراسان رضوی ـ شهر: مشهد
20956
Automated deduction, Cade-15: 15th International Conference on Automated Deduction,Lindau, Germany, July 5-10, 1998: proceedings
Berlin
Springer
c1998
xiv, 441p. : ill
Lecture notes in artificial intelligence; 1241
Lecture notes in computer science
Includes bibliographical references and index
Claude Kirchner, Helene Kirchner, ]editors[
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
76
.
9
.
A96
I57
1998
AU
AU Kirchner, Claude
AU Kirchner, Helene
TI
SE
SE Lecture notes in computer science
International Conference on Automated Deduction, )15th: 1998, Lindau, Germany.(
CL
