Research Catalog

Symbolic logic and mechanical theorem proving

Title
  1. Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-tung Lee.
Published by
  1. New York, Academic Press [1973]
Author
  1. Chang, Chin-Liang, 1937-

Items in the library and off-site

Filter by

Displaying 1 item

StatusFormatAccessCall numberItem location
Status
Request for on-site useRequest scan
How do I pick up this item and when will it be ready?
FormatBook/TextAccessRequest in advanceCall numberJSE 73-1946Item locationOffsite

Details

Additional authors
  1. Lee, Richard Char-Tung, 1939-
Description
  1. xiii, 331 p. illus.; 24 cm.
Series statement
  1. Computer science and applied mathematics.
Subject
  1. Automatic theorem proving
  2. Artificial intelligence
  3. Logic, Symbolic and mathematical
Call number
  1. JSE 73-1946
Bibliography (note)
  1. Bibliography: p. 309-324.
Author
  1. Chang, Chin-Liang, 1937-
Title
  1. Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-tung Lee.
Imprint
  1. New York, Academic Press [1973]
Series
  1. Computer science and applied mathematics.
Bibliography
  1. Bibliography: p. 309-324.
Added author
  1. Lee, Richard Char-Tung, 1939-
LCCN
  1. 72088358
Research call number
  1. JSE 73-1946
View in legacy catalog