Intensional Logics for Programming
Forfatter: info mangler
- Format
- Bog, hardback
- Engelsk
Normalpris
kr. 299,95
Medlemspris
kr. 279,95
- Du sparer kr. 20,00
- Fri fragt
-
Leveringstid: 2-4 uger (Sendes fra fjernlager) Forventet levering: 19-03-2026
- Kan pakkes ind og sendes som gave
Beskrivelse
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.
Detaljer
- SprogEngelsk
- Sidetal230
- Udgivelsesdato27-08-1992
- ISBN139780198537755
- Forlag Clarendon Press
- FormatHardback
Størrelse og vægt
10 cm
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.
Findes i disse kategorier...
- Fagbøger
- Andre fagbøger
- Matematik og naturvidenskab
- Matematik
- Anvendt matematik
- Intensional Logics for Programming
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Matematisk datateori
- Intensional Logics for Programming