Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Intensional Logics for Programming
- Bindende:
- Hardback
- Sider:
- 230
- Utgitt:
- 27. august 1992
- Dimensjoner:
- 162x241x18 mm.
- Vekt:
- 510 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 31. mars 2025
Beskrivelse av Intensional Logics for Programming
Intensional logics provide a theoretical basis for establishing the foundations of programming. This volume discusses the use of intensional logics for the semantical analysis of logic programs and about programming in intensional logics. For example, modal logic, temporal logic and linear logic prove to be useful to understand logic programs.
Brukervurderinger av Intensional Logics for Programming
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Intensional Logics for Programming finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2025 Tales.no
