 |
 |
Area della Ricerca di Padova
|
Vol. 2.: Deduction methodologies /
Normal View ISBD View
Authors:
Gabbay, Dov M.
|
Hogger, C. J.
|
Robinson, J. A.
|
Siekmann. J.
Published by :
Clarendon Press,
(Oxford : )
Physical details: XV, 511 p. ; 24 cm.
Collection:
Handbook of logic in artificial intelligence and logic programming / edited by D. M. Gabbay, C. J. Hogger, J. A. Robinson
Subject(s):
Logic programming
|
Artificial intelligence
|
Logic, Symbolic and mathematical
Year : 1994
No tags for this title.
| Item type | Location | Call Number | Copy | Status | Notes | Date Due |
|---|---|---|---|---|---|---|
| Books | Istituto di Ingegneria Biomedica | QA76.63.H36 (Browse Shelf) | 1 | Available | Sossai-- |
Contents - Logical basis for the automation of reasoning: case studies. Unification theory. Mathematical induction. Higher order logic. Meta-languages, reflection principles, and self-reference. Classical vs non-classical logics (the universality of classical logics)
Important links here.
There are no comments for this item.