Intensional Logics for Programming by Luis Farinas del Cerro

Intensional Logics for Programming

EditorLuis Farinas del Cerro, Martti Penttonen

Hardcover | August 1, 1992

not yet rated|write a review

Pricing and Purchase Info

$171.00

Earn 855 plum® points

Ships within 1-3 weeks

Ships free on orders over $25

Not available in stores

about

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.

About The Author

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

by Luis Fariñas del Cerro

$183.99

Available for download

Not available in stores

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

by G. Crocco

$136.08$171.00

In stock online

Not available in stores

Details & Specs

Title:Intensional Logics for ProgrammingFormat:HardcoverDimensions:228 pages, 9.21 × 6.14 × 0.03 inPublished: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