bokomslag Intensional Logics for Programming

559:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

230 sidor
1992

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.

Författare: Luis Fariñas Del Cerro, Martti Penttonen, Luis Farinas Del Cerro
Format: Inbunden
ISBN: 9780198537755
Språk: Engelska
Antal sidor: 230
Utgivningsdatum: 1992-08-27
Förlag: Clarendon Press