Организације

еНаука >  Организације >  Matematički institut SANU

Matematički institut SANU

ou00327_1.jpg picture
Резултати 4.261-4.280 од 4.299

Резултати обухватају радове истраживача који су ТРЕНУТНО запослени у приказаној институцији.

ГодинаНасловАутор(и)Тип резултатаМп-кат.
1990Completeness theorem for a monadic logic with both first-order and probability quantifiersRašković, Miodrag; Tanović, Predrag  Научни чланак
Мп категорија ће бити приказана накнадно.
1990Infinitely distributive elements in the lattice of weak congruencesŠešelja, Branimir; Tepavčević, Andreja  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1990Typed combinators and typed lambda termsGhilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1990Free sequencesTodorčević, Stevo  Научни чланак
23M23 - Међународни часопис категорије M23
1990On a construction of codes by P-fuzzy setsŠešelja, Branimir; Tepavčević, Andreja  Научни чланак
Мп категорија ће бити приказана накнадно.
1990Special elements of the lattice and lattice identitiesŠešelja, Branimir; Tepavčević, Andreja  Научни чланак
Мп категорија ће бити приказана накнадно.
1990Weak congruences and homomorphismsŠešelja, Branimir; Tepavčević, Andreja  Научни чланак
Мп категорија ће бити приказана накнадно.
1989An approach in modeling knowledge-based system for control of production processesJocković, Miroslav; Ognjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1989Special square sequencesTodorčević, Stevo  Научни чланак
22M22 - Међународни часопис категорије M22
1989On a class of bisemilatticesUšan, Janez; Tepavčević, Andreja  Научни чланак
Мп категорија ће бити приказана накнадно.
1989The correspondence between weak implicational logics and typed lambda calculusGhilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1989Koncept organizacije upravljačkog Sistema zasnovanog na znanju u proizvodnji upravljanoj preko računaraJocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
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  ; Жунић, Јовиша  Уџбеник
Мп категорија ће бити приказана накнадно.
1988Program package for simulation and development of flexible manufacturing cellsStokić, Dragan; Vukobratović, Miomir; Leković, Đorđe; Jocković, Miroslav; Hristić, Dragan; Timčenko, Olga; Đurić, Nebojša; Rodić, Aleksandar  ; Ognjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1988Primer primene Petri-mreže u upravljačkom sistemu fleksibilne tehnološke ćelijeJocković, Miroslav; Ognjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1988A chain decomposition theoremTodorčević, Stevo  Научни чланак
21M21 - Водећи међународни часопис категорије M21
1987Martin's axiom and partitionsTodorčević, Stevo  ; Veličković, BobanНаучни чланак
21M21 - Водећи међународни часопис категорије M21
1987Zbirka rešenih zadataka sa pismenih ispita iz Matematike I na Fakultetu tehničkih nauka u Novom SaduAdžić, Nevenka; Vrcelj-Kaćanski, Vesna; Gilezan, Silvia  ; Doroslovački, Rade ; Nikić, Jovanka; Uzelac, Zorica Уџбеник
Мп категорија ће бити приказана накнадно.
1987Partitioning pairs of countable ordinalsTodorčević, Stevo  Научни чланак
21a+M21a+ - Водећи међународни часопис категорије M21a+
1987Oscillations of real numbersTodorčević, Stevo  Научни чланак
Мп категорија ће бити приказана накнадно.