Intensional Logics for Programming
Stabilní cena
Aktuální cena je nejnižší za posledních 30 dní.
O produktu
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.
Tip: Podívejte se také na další produkty z kategorie Počítačová věda.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9780198537755
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
