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 p. illus. 24 cm.
Notes Includes index.
Bibliography: p. 309-324.
Network Numbers (OCoLC)00658102
(OCoLC)658102
WorldCat Search OCLC WorldCat

Services

Export citation to: RefWorks