عنوان
پدید آورنده
موضوع
رده
Q335.5 E358 9999
Q335
.
5
E358
9999
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0444876707
(Number (ISBN
9780444876706
NATIONAL BIBLIOGRAPHY NUMBER
Number
b550579
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Qualitative reasoning about physical systems
General Material Designation
[Book]
First Statement of Responsibility
edited by Daniel G. Bobrow.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam
Name of Publisher, Distributor, etc.
North-Holland
Date of Publication, Distribution, etc.
1991, ©1984.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
491 pages : illustrations ; 25 cm
CONTENTS NOTE
Text of Note
Qualitative Reasoning about Physical Systems: An Introduction (D.G. Bobrow). A Qualitative Physics Based on Confluences (J. De Kleer and J.S. Brown). Qualitative Process Theory (K.D. Forbus). Commonsense Reasoning About Causality: Deriving Behavior from Structure (B. Kuipers). How Circuits Work (J. De Kleer). Qualitative Analysis of MOS Circuits (B.C. Williams). Diagnostic Reasoning Based on Structure and Behavior (R. Davis). The Use of Design Descriptions in Automated Diagnosis (M.R. Genesereth). VERIFY: A Program for Proving Correctness of Digital Hardware Designs (H.G. Barrow).
LIBRARY OF CONGRESS CLASSIFICATION
Class number
Q335
.
5
Book number
E358
9999
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Daniel G. Bobrow.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Daniel G Bobrow
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
