-
Izdelava in uporaba dokazovalnega pomočnika : diplomsko delo : interdisciplinarni univerzitetni študijski program prve stopnje Računalništvo in matematikaZupančič, Blaž, računalničarVrsta gradiva - diplomsko delo ; neleposlovje za odrasleZaložništvo in izdelava - Ljubljana : [B. Zupančič], 2023Jezik - slovenskiCOBISS.SI-ID - 150155779
Avtor
Zupančič, Blaž, računalničar
Drugi avtorji
Bauer, Andrej
Teme
Matematika |
Računalništvo |
Univerzitetna in visokošolska dela |
dokazovalni pomočnik |
teorija tipov |
interdisciplinarni študij |
univerzitetni študij |
diplomske naloge |
proof assistant |
type theory |
computer science |
computer and information science |
computer science and mathematics |
interdisciplinary studies |
diploma
Signatura – lokacija, inventarna št. ... |
Status izvoda | Rezervacija |
---|---|---|
FRIdipl 0000002397 IN: 206003183 FRIdipl 2397 IN: 206003183 |
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 |
---|---|
Zupančič, Blaž, računalničar | |
Bauer, Andrej | 15854 |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.