عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.90
QA
76
.
L4
v
.
90
کتابخانه
محل استقرار
English
Using sophisticated models in resolution theorem proving
Berlin, New York
Springer-Verlag
1980
xi, 239 p. ; 25 cm
Lecture notes in computer science, 09
Revision of thesis )Ph. D.(
Bibliography: p. 229-233
Bibliography: p. )229(-233
Includes index
David M. Sandford
1
، Automatic theorem proving
، Mathematics - Data processing
QA
76
.
L4
v
.
90
CA
511
.
3
Sandford, David M.
AU
TI
SE
