عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.87
QA
76
.
L4
v
.
87
کتابخانه
محل استقرار
English
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Berlin, New York
Springer-Verlag
1980
vii, 385 p. ; 24 cm
Lecture notes in computer science, 78
Includes bibliographies
edited by W. Bibel and R. Kowalski
1
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L4
v
.
87
CA
511
.
3
AU
AU Bibel, W. 1938-
AU Kowalski, Robert.
TI
SE
Conference on Automated Deduction, )5th, 1980, Les Arcs, Savoie, France(
