Organizacije

eNauka >  Organizacije >  Matematički institut SANU

Matematički institut SANU

ou00327_1.jpg picture
Rezultati 4,261-4,280 od 4,307

Rezultati obuhvataju radove istraživača koji su TRENUTNO zaposleni u prikazanoj instituciji.

GodinaNaslovAutor(i)Tip rezultataMp-kat.
1991A Proof Procedure for Modal Logic S4Ognjanović, Zoran  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
1991Remarks on Martin's axiom and the continuum hypothesisTodorčević, Stevo  Naučni članak
Mp kategorija će biti prikazana naknadno.
1990Infinitely distributive elements in the lattice of weak congruencesŠešelja Branimir; Tepavčević Andreja  Naučni članak
Mp kategorija će biti prikazana naknadno.
1990Free sequencesTodorčević, Stevo  Naučni članak
23M23 - Međunarodni časopis kategorije M23
1990On a construction of codes by P-fuzzy setsŠešelja, Branimir; Tepavčević, Andreja  Naučni članak
Mp kategorija će biti prikazana naknadno.
1990A contribution to the organization of an expert system for process control of FMCJocković, Miroslav; Vukobratović, Miomir ; Ognjanović, Zoran  Naučni članak
Mp kategorija će biti prikazana naknadno.
1990Minimal linear equivalent analysis of a variable-memory binary sequence generatorGolić, Jovan Dj.; Mihaljević, Miodrag J.  Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
1990Typed combinators and typed lambda termsGhilezan, Silvia  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
1990A fast iterative algorithm for a shift register initial state reconstruction given the noisy output sequenceMihaljević, Miodrag J.  ; Golić, Jovan Dj.Naučni članak
22M22 - Međunarodni časopis kategorije M22
1990Completeness theorem for a monadic logic with both first-order and probability quantifiersRašković, Miodrag; Tanović, Predrag  Naučni članak
Mp kategorija će biti prikazana naknadno.
1990Infinitely distributive elements in the lattice of weak congruencesŠešelja, Branimir; Tepavčević, Andreja  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
1990Approach to the modeling of the highest control level of flexible manufacturing cellJocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran  Naučni članak
23M23 - Međunarodni časopis kategorije M23
1990Some restricted classes of typed lambda termsGhilezan, Silvia  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
1990Special elements of the lattice and lattice identitiesŠešelja, Branimir; Tepavčević, Andreja  Naučni članak
Mp kategorija će biti prikazana naknadno.
1990Weak congruences and homomorphismsŠešelja, Branimir; Tepavčević, Andreja  Naučni članak
Mp kategorija će biti prikazana naknadno.
1989The correspondence between weak implicational logics and typed lambda calculusGhilezan, Silvia  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
1989Koncept organizacije upravljačkog Sistema zasnovanog na znanju u proizvodnji upravljanoj preko računaraJocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
1989On a class of bisemilatticesUšan, Janez; Tepavčević, Andreja  Naučni članak
Mp kategorija će biti prikazana naknadno.
1989Special square sequencesTodorčević, Stevo  Naučni članak
22M22 - Međunarodni časopis kategorije M22
1989Zbirka rešenih zadataka sa pismenih ispita iz Matematike 2 - na Fakultetu tehničkih nauka u Novom SaduУнгар, Вера; Uzelac, Zorica ; Doroslovački, Rade ; Adžić, Nevenka; Врцељ, Весна; Gilezan, Silvia  ; Жунић, Јовиша  Udžbenik
Mp kategorija će biti prikazana naknadno.