عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.449
QA
76
.
L28
Vol
.
449
کتابخانه
محل استقرار
Automated Deduction : Proceedings
10th: 1990: Kaiserslautern, FRG
Berlin
Springer-Verlag
c1990
xvi, 688p.: ill
Lecture notes in computer science. Lecture notes in artificial intelligence; 944
Proceedings of the 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
On spine: CADE-10
Includes bibliographies
ISBN: 3540528857
M.E. Stickel )ed.(
1
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
449
CA
QA
76
.
9
.
A96I58
1990
AU
AU Stickel, Mark E., 1947-
TI
SE Lecture notes in computer science 449
International Conference on Automated Deduction
