عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96B68
QA
76
.
9
.
A96B68
کتابخانه
محل استقرار
A computational logic
London
Academic Press
c1979
xiv, 397p
ACM monograph series
Bibliography: p. 385-387
ISBN: 0121229505
Robert S. Boyer and J. Strother Moore
1
، Automatic theorem proving
QA
76
.
9
.
A96B68
Boyer, Robert S.
AU
AU Moore, J. Strother, 1947-
TI
SE
