Symbolic logic and mechanical theorem proving (Record no. 162105)

MARC details
000 -LEADER
fixed length control field 00995nam a22002777a 4500
040 ## -
-- DLC
-- DLC
-- FPU
-- ZCU
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
100 1# - MAIN ENTRY--AUTHOR NAME
Personal name Chang, Chin-Liang,
245 10 - TITLE STATEMENT
Title Symbolic logic and mechanical theorem proving
Statement of responsibility, etc [by] Chin-liang Chang [and] Richard Char-Tung Lee.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication New York,
Name of publisher Academic Press
Year of publication [1973]
300 ## - PHYSICAL DESCRIPTION
Number of Pages xiii, 331 p.
Dimensions 24 cm.
490 1# - SERIES STATEMENT
Series statement Computer science and applied mathematics
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logique symbolique et mathématique.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Intelligence artificielle.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Théorèmes
General subdivision démonstration automatique.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logic, Symbolic and mathematical.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Automatic theorem proving.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Artificial intelligence.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Lee, Richard Char-Tung,
Holdings
Withdrawn status Lost status Damaged status Collection code Home library Current library Shelving location Date acquired Full call number Accession Number Koha item type
      MATHEMATICS North Eastern Hill University North Eastern Hill University General Stacks 12/02/1976 511.3 CHA 36608 Books