عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.230
QA
76
.
L4
v
.
230
کتابخانه
محل استقرار
English
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
Berlin, New York
Springer-Verlag
1986
ix, 708 p. : ill. ; 25 cm
Lecture notes in computer science, 032
Includes bibliographies
edited by Jorg H. Siekmann
1
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L4
v
.
230
CA
511
.
3
AU
AU Siekmann, Jorg H.
TI Eighth International Conference on Automated Deduction
TI
SE
International Conference on Automated Deduction, )8th, 1986, Oxford, England(
