عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 B68
QA
76
.
9
.
A96
B68
کتابخانه
محل استقرار
3696
Boyer, Robert S.
A computational logic
New York
Academic Press
,c1979
xiv, 397 p. 24 cm.
ISBN: 0121229505
Bibliography: p. 385-387.
ng
Includes index.
، Automatic theorem proving
QA
76
.
9
.
A96
B68
AU
Robert S. Boyer and J Strother Moore
AU .rohtua tnioj-7491,rehtortS .J ,erooM
TI
ه مرکزیانابخن کتش التیبخ
