Shelfclass_id |
4.B.3 |
Sortkey |
CHANG, CHIN-LIANG |
Authors |
Chin-Liang Chang, Richard Char-Tung Lee |
Title |
Symbolic Logic and Mechanical Theorem Proving |
Publisher |
Academic Press |
Year |
c1973 |
Languages |
eng |
Isbn |
0121703509 |
Series |
Computer science and applied mathematics |
Description |
(alk. paper) xiii, 331 p. ill. 24 cm |
Record date |
20060713 |
Location |
San Diego |
Keywords |
Logic, Symbolic and mathematical, Automatic theorem proving, Artificial intelligence |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/description/els032/87001443.html |