-
Denotacijska semantika PCF : delo diplomskega seminarjaKostelec, KristjanVrsta gradiva - diplomsko deloZaložništvo in izdelava - Ljubljana : [K. Kostelec], 2020Jezik - slovenskiCOBISS.SI-ID - 18974041
Avtor
Kostelec, Kristjan
Drugi avtorji
Bauer, Andrej
Teme
matematika |
programski jezik PCF |
operacijska semantika |
denotacijska semantika |
domene |
substitucijska lema |
izrek o usklajenosti semantike |
izrek o ustreznosti semantike |
izrek o primernosti semantike |
mathematics |
programming language PCF |
operational semantics |
denotational semantics |
domains |
substitution lemma |
semantic correctness |
semantic completeness |
computational adequacy
Signatura – lokacija, inventarna št. ... |
Status izvoda | Rezervacija |
---|---|---|
Skladišče-Jadranska 21 0000013000/0000000232 Skladišče-Jadranska 21 13000/232 |
prosto - za čitalnico
|
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Kostelec, Kristjan | |
Bauer, Andrej | 15854 |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.