عنوان
پدید آورنده
موضوع
رده
QA .C483 9 1987
QA
.
C483
9
1987
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Symbolic logic and mechanical theorem proving
First Statement of Responsibility
Chin-Liang Chang, Richard Char-Tung Lee
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boston
Name of Publisher, Distributor, etc.
Academic Press
Date of Publication, Distribution, etc.
1973
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 331 p. ill
SERIES
Series Title
Computer science classics
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes index
SUMMARY OR ABSTRACT
Text of Note
Bibliography: p.)309(-324
TOPICAL NAME USED AS SUBJECT
Entry Element
Logic, Symbolic and mathematical
Entry Element
Automatic theorem proving
Entry Element
Artificial intelligence
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Classification Record Number
9
Book number
.
C483
1987
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Chang, Chin-Liang, 1937-
Entry Element
Title
Lee, Richard Char-Tung
1939- ,Joint author
English Book
