عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 A93 1984
QA
76
.
9
.
A96
A93
1984
کتابخانه
محل استقرار
استان: خراسان رضوی ـ شهر: مشهد
9218
Automated reasoning: introduction and applications
Englewood Cliffs, N. J
Prentice - Hall
1984
xiv, 482p.: ill
Includes bibliographies and index
)by( Larry Wos )et al.(
، Automatic theorem proving
، Artificial intelligence
Programming ، Electronic digital computers
QA
76
.
9
.
A96
A93
1984
TI
AU Wos, Larry
CL
