عنوان
پدید آورنده
موضوع
رده
QA 9 .C483
QA
9
.
C483
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
188
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Chang, Chin-Liang,7391-
Title Proper
Symbolic logic and mechanical theorem proving
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
San Diego
Name of Publisher, Distributor, etc.
Academic Press
Date of Publication, Distribution, etc.
,]1987[, c1973
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 331 p. ill. 24 cm.
SERIES
Series Title
Computer science classics
GENERAL NOTES
Text of Note
ISBN: 0121703509
Text of Note
Includes bibliographical references )p. 309-324( and index.
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
9
.
C483
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Chin-Liang Chang, Richard Char-Tung Lee
AU -9391,gnuT-rahC drahciR ,eeL
TI
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
ه مرکزیانابخن کتش التیبخ
