Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-tung Lee.

; Lee, Richard Char-tung, 1939-
New York, Academic Press [1973] .

Location Call Number Status Consortium Loan
American
WRLC Shared Collections Facility
QA9 .C483 Off-site
Request
UDC
Van Ness stacks
QA 9 .C483 Available Request
George Mason
Fenwick stacks
QA9 .C483 Available Request
Georgetown
Off-Campus Shelving
QA9 .C49 IN-TRANSIT Request
Other Authors Lee, Richard Char-tung, 1939-
Subjects Artificial intelligence.
Automatic theorem proving.
Logic, Symbolic and mathematical.
Description xiii, 331 pages illustrations 24 cm.
Copyright Date [1973]
Notes Includes index.
Bibliography: pages 309-324.
Network Numbers (OCoLC)00658102
(OCoLC)658102
WorldCat Search OCLC WorldCat
WorldCat Identities Chang, Chin-Liang, 1937-
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks