عنوان
پدید آورنده
موضوع
رده
QA9 .C483
QA9
.
C483
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0121703509
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
324409
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Symbolic logic and mechanical theorem proving
General Material Designation
[Book]
First Statement of Responsibility
/ Chin-Liang Chang, Richard Char-Tung Lee
.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.
Other Physical Details
: ill. 24 cm.
SERIES
Series Title
(Computer science classics)
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (p. 309-324) and index.
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical
Automatic theorem proving
Artificial intelligence
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
Book number
.
C483
PERSONAL NAME - PRIMARY RESPONSIBILITY
Chang, Chin-Liang,1937-
PERSONAL NAME - SECONDARY RESPONSIBILITY
Lee, Richard Char-Tung,1939-
ORIGINATING SOURCE
Country
ایران
Agency
Central Library of the University of Kurdistan
old catalog
BL
1
a
Y
