Intensional Logics for Programming

Hardcover | August 1, 1992

EditorLuis Farinas del Cerro, Martti Penttonen

not yet rated|write a review
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 oneof 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.

Pricing and Purchase Info

$171.00

Ships within 1-3 weeks
Ships free on orders over $25

From the Publisher

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 oneof the current frontline research areas of c...

Luis Farinas del Cerro, Directeur de Recherche, I.R.I.T., Toulouse, France. Martti Penttonen, Professor of Computer Science, University of Joensu.

other books by Luis Farinas del Cerro

Logical Modeling of Biological Systems
Logical Modeling of Biological Systems

Kobo ebook|Aug 8 2014

$183.99

Conditionals: From Philosophy to Computer Science
Conditionals: From Philosophy to Computer Science

Hardcover|Apr 30 1999

$139.07 online$171.00list price(save 18%)
Format:HardcoverDimensions:228 pagesPublished:August 1, 1992Publisher:Oxford University Press

The following ISBNs are associated with this title:

ISBN - 10:0198537751

ISBN - 13:9780198537755

Customer Reviews of Intensional Logics for Programming

Reviews

Extra Content

Editorial Reviews

`the book covers a wide "lacking" part in the new interaction area between logic, information technology and computation'Zbl. Math. 787