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, mod
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, mod
Zaloga po trgovinah
Rezultati:
Podrobnosti o izdelku
Poglej vseISBN
9780198537755Mladinska knjiga ID
9780198537755Leto izida
1992Datum izida
27.08.1992Število strani
230Status dobavljivosti
7-10 delovnih dniZbirka
Studies in Logic and ComputationZaložnik
Oxford University PressUrednik
PENTTONEN, MARTTI (PROFESSOR OF COMPUTER SCIENCE, PROFESSOR OF COMPUTER SCIENCE, UNIVERSITY OF JOENSU, FINLAND)Dimenzije
163 x 244 x 18BIC
PBW,UM,UYAOpis
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.Pogosto kupljeno skupaj
Prikaži vse podrobnostiTrda vezava
Ostali so si ogledali tudi ...
Več kot pol milijona knjig
Največja ponudba slovenskih in tujih knjig na enem mestu.
Enostaven nakup
Do izbranega le z nekaj kliki na spletu ali v eni od več kot 50 knjigarn.
Strokoven nasvet
Pred nakupom nas pokličite za nasvet ali se oglasite v knjigarni.
Vse za šolo
Nagrajena izobraževalna gradiva in kakovostne potrebščine.
Celovita ponudba za dom in pisarno
Vrhunski izdelki priznanih blagovnih znamk.
Brezplačna dostava
Brezplačna dostava za vsa naročila nad 59 € (za šolske pakete nad 140 €)
Naslov
Slovenska cesta 29, 1000 Ljubljana
E-naslovSpletna knjigarna: info@emka.si, Mladinska knjiga Založba: info@mladinska-knjiga.si
Kontakt01 241 30 00
Brezplačna številka080 12 05
- Ko izberete elemente, se celotna stran osveži.
- Odpre se v novem oknu.