Handbook of logic in artificial intelligence and logic programming.. Volume 5,, Logic programming
Saved in:
Group Author: | ; ; ; |
---|---|
Published: |
Clarendon Press,
|
Publisher Address: | Oxford |
Publication Dates: | 1998. |
Literature type: | Book |
Language: | English |
Subjects: | |
Carrier Form: | xv, 799 p.: ill. ; 25 cm. |
ISBN: |
019853745X (v. 1) 0198537468 (v. 2) 0198537476 (v. 3) 0198537913 (v. 4) 0198537921 (v. 5) |
Index Number: | TP311 |
CLC: |
TP311.11-62 TP18-62 |
Call Number: | TP18-62/H236/v.5/ |
Contents: |
Includes bibliographical references and indexes. 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. |