Keywords: ontologija, semantični splet, geografski prostor, GIS, prostorski podatki, logika, predikatni računFull text (file, 351,04 KB) This document has more files! More...
Keywords: chebyshev lambda mechanism, optimization, synthesis, walking mechanismFull text (file, 940,74 KB) This document has more files! More...
Keywords: matrike, sistemi linearnih enačb, linearno programiranje, mrežno planiranje, funkcije, zaporedja, obrestni račun, študijsko gradivo
Keywords: eQuiz, verjetnostni račun, statistika, razlagaFull text (file, 2,13 MB)
Keywords: lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacijaFull text (file, 521,90 KB) This document has more files! More...