-
Izdelava in uporaba dokazovalnega pomočnika : diplomsko delo : interdisciplinarni univerzitetni študijski program prve stopnje Računalništvo in matematikaZupančič, Blaž, računalničarType of material - undergraduate thesis ; adult, seriousPublication and manufacture - Ljubljana : [B. Zupančič], 2023Language - slovenianCOBISS.SI-ID - 150155779
Author
Zupančič, Blaž, računalničar
Other authors
Bauer, Andrej
Topics
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
Call number – location, accession no. ... |
Copy status | Reservation |
---|---|---|
FRIdipl 0000002397 IN: 206003183 FRIdipl 2397 IN: 206003183 |
available - reading room
|
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|---|
Zupančič, Blaž, računalničar | |
Bauer, Andrej | 15854 |
Select pickup location:
Material pickup by post
Notification
Subject headings in COBISS General List of Subject Headings
Select pickup location
Pickup location | Material status | Reservation |
---|
Please wait a moment.