-
Induktivni in koinduktivni podatkovni tipi : delo diplomskega seminarjaSlak, JureVrsta gradiva - diplomsko deloZaložništvo in izdelava - Ljubljana : [J. Slak], 2015Jezik - slovenskiCOBISS.SI-ID - 17692505
Avtor
Slak, Jure
Drugi avtorji
Bauer, Andrej
Teme
matematika |
začetna F-algebra |
končna F-koalgebra |
induktivni podatkovni tipi |
koinduktivni podatkovni tipi |
indukcija |
koindukcija |
rekurzija |
korekurzija |
mathematics |
initial F-algebra |
final F-coalgebra |
inductive data type |
coinductive data type |
induction |
coinduction |
recursion |
corecursion
Signatura – lokacija, inventarna št. ... |
Status izvoda | Rezervacija |
---|---|---|
Skladišče-Jadranska 21 0000013000/0000000116 Skladišče-Jadranska 21 13000/116 |
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 |
---|---|
Slak, Jure | 50509 |
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.