TY  - BOOK
A1  - / Chin-Liang Chang, Richard Char-Tung Lee
TI  - Symbolic logic and mechanical theorem proving
PB  - كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين
SN  - 101489319
UR  /book/101489319/Symbolic-logic-and-mechanical-theorem-proving/
ER  -