عنوان
پدید آورنده
موضوع
رده
QA 76.63 .H26
QA
76
.
63
.
H26
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Handbook of logic in artificial intelligence and logic programming
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Oxford
Name of Publisher, Distributor, etc.
Clarendon Press
Date of Publication, Distribution, etc.
1998-c1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
5 v.: ill., tables
Other Physical Details
1
Other Physical Details
2
Other Physical Details
3
Other Physical Details
4
Other Physical Details
5
SERIES
Other Title Information
Oxford Science Publications
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN 019853745X
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
NOTES PERTAINING TO SUBJECT ACCESS
Text of Note
R
ORIGINAL VERSION NOTE
Text of Note
1
Text of Note
1
Text of Note
1
Text of Note
1
Text of Note
1
CONTENTS NOTE
Text of Note
v.1. Logical foundations -- v.2. Deduction methodologies -- v.3. Nonmonotonic reasoning and uncertain reasoning -- v.4. Epistemic and temporal reasoning -- v.5. Logic programming
TOPICAL NAME USED AS SUBJECT
Entry Element
، Logic programming
Entry Element
، Artificial intelligence
Entry Element
، Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
63
.
H26
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU Gabbay, Dov M., 1945-
AU Hogger, Christopher John
AU Robinson, John Alan
SE
