TY  - BOOK
A1  - / Richard Spencer - Smith
TI  - Logic and prolog
PB  - کتابخانه دانشکدگان فنی 1 دانشگاه تهران
SN  - 101076470
UR  /book/101076470/Logic-and-prolog/
ER  -