Intensional Logics for Programming

AvLuis Fariñas del Cerro,Martti Penttonen

Inbunden, Engelska, 1992

Del 1 i serien Studies in Logic and Computation

467 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utforska kategorier

Recensioner i media

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

Dosen Schroeder-Heister, Kosta Dosen, Kosta Dosen, Peter Schroder-Heister - Substructural Logics, Inbunden
Del 2

Substructural Logics

Dosen Schroeder-Heister, Kosta Dosen, Kosta Dosen, Peter Schroder-Heister

Inbunden, 1993

2 145 kr