Coverart for item
The Resource Symbolic logic and mechanical theorem proving, [by] Chin-liang Chang [and] Richard Char-tung Lee

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

Label
Symbolic logic and mechanical theorem proving
Title
Symbolic logic and mechanical theorem proving
Statement of responsibility
[by] Chin-liang Chang [and] Richard Char-tung Lee
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
DLC
http://library.link/vocab/creatorDate
1937-
http://library.link/vocab/creatorName
Chang, Chin-Liang
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1939-
http://library.link/vocab/relatedWorkOrContributorName
Lee, Richard Char-Tung
Series statement
Computer science and applied mathematics
http://library.link/vocab/subjectName
  • Logic, Symbolic and mathematical
  • Automatic theorem proving
  • Artificial intelligence
Label
Symbolic logic and mechanical theorem proving, [by] Chin-liang Chang [and] Richard Char-tung Lee
Instantiates
Publication
Bibliography note
Bibliography: pages 309-324
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
658102
Dimensions
24 cm
Extent
xiii, 331 pages
Lccn
72088358
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(WaOLN)349321
Label
Symbolic logic and mechanical theorem proving, [by] Chin-liang Chang [and] Richard Char-tung Lee
Publication
Bibliography note
Bibliography: pages 309-324
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
658102
Dimensions
24 cm
Extent
xiii, 331 pages
Lccn
72088358
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(WaOLN)349321

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...