عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .E95R53 1989
QA
76
.
76
.
E95R53
1989
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Clausal form logic : an introduction to the logic of computer reasoning
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Sydney
Name of Publisher, Distributor, etc.
Addison- Wesley Pub. Co.
Date of Publication, Distribution, etc.
c1989
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 359 p. :ill. ;24 cm
SERIES
Other Title Information
International computer science series
GENERAL NOTES
Text of Note
Includes bibliographies and index.
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Tom Richards
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Expert systems )Computer science(
Entry Element
، Artificial intelligence
Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Reasoning
DEWEY DECIMAL CLASSIFICATION
Number
006
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
.
E95R53
1989
OTHER CLASS NUMBERS
Class number
NO
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Richards, Tom.
Relator Code
AU
TI
