عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.814
QA
76
.
L28
Vol
.
814
کتابخانه
محل استقرار
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 ; proceedings
12th: 1994: Nancy, France
Berlin
Springer-Verlag
c1994
xvi, 848p.: ill
Lecture notes in computer science; 418. Lecture notes in artificial intelligence
Includes bibliographies
ISBN: 3540581561
Alan Bundy )ed.(
1
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
814
AU
AU Bundy, Alan
TI
SE Lecture notes in computer science 814
International Conference on Automated Deduction
