Intensional Logics for Programming Hardback
Edited by Luis (Directeur de Recherche, Directeur de Recherche, I.R.I.T., Toulouse, France) Farinas del Cerro, Martti (Professor of Computer Science, Professor of Computer Science, University of Joens Penttonen
Part of the Studies in Logic and Computation series
Hardback
Description
This volume is a collection of papers around the theme of extending the logic programming paradigm to the area of intensional logics.
Intensional logics play a central role in AI and computing, as well as in the theoretical foundation of logic programming.
Intensional logic programming is one of the current frontline research areas of computational logics.
This not only helps the understanding of logic programs, but will have a significant impact on future developments of logic programming itself.
Information
-
Out of stock
- Format:Hardback
- Pages:230 pages
- Publisher:Oxford University Press
- Publication Date:27/08/1992
- Category:
- ISBN:9780198537755
Information
-
Out of stock
- Format:Hardback
- Pages:230 pages
- Publisher:Oxford University Press
- Publication Date:27/08/1992
- Category:
- ISBN:9780198537755
