Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
ورود / ثبت نام
عنوان
Clausal form logic : an introduction to the logic of computer reasoning
پدید آورنده
Richards, Tom.
موضوع
، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
رده
کتابخانه
Library of Niroo Research Institue
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
9
-
88079401
-
021
OTHER STANDARD IDENTIFIER
Standard Number
6822
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Richards, Tom.
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
Series Title
International computer science series
GENERAL NOTES
Text of Note
Includes bibliographies and index.
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
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Tom Richards
TI
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal