Nacionalni portal odprte znanosti
Dostop do znanja slovenskih raziskovalnih organizacij
Domov
Napredno iskanje
Brskanje
Digitalna knjižnica Univerze v Mariboru
Repozitorij Univerze v Ljubljani
Repozitorij Univerze na Primorskem
Repozitorij Univerze v Novi Gorici
DiRROS
REVIS
Statistika
Digitalna knjižnica Univerze v Mariboru
Repozitorij Univerze v Ljubljani
Repozitorij Univerze na Primorskem
Repozitorij Univerze v Novi Gorici
DiRROS
REVIS
Mobilno
Odprti podatki
O projektu
Kontakt
Iskalni niz:
išči po
Naslov
Avtor
Opis
Ključne besede
Polno besedilo
Leto
ALI
IN
IN NE
išči po
Naslov
Avtor
Opis
Ključne besede
Polno besedilo
Leto
ALI
IN
IN NE
išči po
Naslov
Avtor
Opis
Ključne besede
Polno besedilo
Leto
ALI
IN
IN NE
išči po
Naslov
Avtor
Opis
Ključne besede
Polno besedilo
Leto
Vrsta gradiva:
Ni določena
Izvirni znanstveni članek
Pregledni znanstveni članek
Kratki znanstveni prispevek
Strokovni članek
Poljudni članek
Objavljeni znanstveni prispevek na konferenci (vabljeno predavanje)
Objavljeni strokovni prispevek na konferenci (vabljeno predavanje)
Objavljeni znanstveni prispevek na konferenci
Objavljeni strokovni prispevek na konferenci
Objavljeni povzetek znanstvenega prispevka na konferenci (vabljeno predavanje)
Objavljeni povzetek znanstvenega prispevka na konferenci
Objavljeni povzetek strokovnega prispevka na konferenci
Samostojni znanstveni sestavek ali poglavje v monografski publikaciji
Samostojni strokovni sestavek ali poglavje v monografski publikaciji
Geslo – sestavek v enciklopediji, leksikonu, slovarju...
Recenzija, prikaz knjige, kritika
Predgovor, spremna beseda
Polemika, diskusijski prispevek
Intervju
Umetniški sestavek
Bibliografija, kazalo ipd.
Drugi članki ali sestavki
Znanstvena monografija
Strokovna monografija
Univerzitetni, visokošolski ali višješolski učbenik z recenzijo
Srednješolski, osnovnošolski ali drugi učbenik z recenzijo
Video in druga učna gradiva
Enciklopedija, slovar, leksikon, priročnik, atlas, zemljevid
Bibliografija
Doktorska disertacija
Magistrsko delo
Specialistično delo
Diplomsko delo
Končno poročilo o rezultatih raziskav
Elaborat, predštudija, študija
Projektna dokumentacija (idejni projekt, izvedbeni projekt)
Izvedensko mnenje, arbitražna odločba
Umetniško delo
Katalog razstave
Raziskovalni ali dokumentarni film, zvočni ali video posnetek
Radijska ali televizijska oddaja
Raziskovalni podatki
Programska oprema
Nova sorta
Patentna prijava
Patent
Druge monografije in druga zaključena dela
Znanstveni terminološki slovar, enciklopedija ali tematski leksikon
Zbornik strokovnih ali nerecenziranih znanstvenih prispevkov na konferenci
Zbornik recenziranih znanstvenih prispevkov na mednarodni ali tuji konferenci
Zbornik recenziranih znanstvenih prispevkov na domači konferenci
Umetniška poustvaritev
Radijski ali TV dogodek
Razstava
Organiziranje znanstvenih in strokovnih sestankov
Predavanje na tuji univerzi
Prispevek na konferenci brez natisa
Vabljeno predavanje na konferenci brez natisa
Druga dela
Druga izvedena dela
Vse
Jezik:
Slovenski jezik
Angleški jezik
Hrvaški jezik
Nemški jezik
Srbski jezik (cirilica)
Srbski jezik
Madžarski jezik
Nemški jezik (Avstrija)
Italijanski jezik
Francoski jezik
Neznan jezik
Polski jezik
Češki jezik
Slovaški jezik
Slovenski jezik
Angleški jezik
Vse
Prikaži samo zadetke s polnim besedilom
Št. zadetkov: 1
Interactive derivation viewer
Steven Trac
Video in druga učna gradiva
Oznake: computer science;software and tools
This describes the IDV, a tool for graphically rendering derivations that are written in the Thousands of Problems for Theorem Provers (TPTP) language.
Leto: 2007
Vir: videolectures.net
Št. zadetkov: 1
Ključne besede:
computer science (1)
software and tools (1)
Leto izdaje:
2007 (1)
Repozitorij:
videolectures.net (1)
Tipologija:
Video in druga učna gradiva (1)
Jezik:
Angleški jezik (1)