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

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

Matematički institut SANU

ou00327_1.jpg picture
Резултати 4.241-4.260 од 4.291

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

ГодинаНасловАутор(и)Тип резултатаМп-кат.
1991Lambda calculi with intersection typesGhilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1991Two examples of borel partially ordered sets with the countable chain conditionTodorčević, Stevo  Научни чланак
Мп категорија ће бити приказана накнадно.
1991Inner and outer convex hull approximation for finite planar points setsŽunić, Joviša  Научни чланак
Мп категорија ће бити приказана накнадно.
1991Computational Geometry on an Integer GridŽunić, Joviša  Докторска дисертација
70M70 - Одбрањена докторска дисертација
1991A Proof Procedure for Modal Logic S4Ognjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1991Remarks on Martin's axiom and the continuum hypothesisTodorčević, Stevo  Научни чланак
Мп категорија ће бити приказана накнадно.
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  Научни чланак
Мп категорија ће бити приказана накнадно.
1990Typed combinators and typed lambda termsGhilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1990Infinitely distributive elements in the lattice of weak congruencesŠešelja, Branimir; Tepavčević, Andreja  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1990Completeness theorem for a monadic logic with both first-order and probability quantifiersRašković, Miodrag; Tanović, Predrag  Научни чланак
Мп категорија ће бити приказана накнадно.
1990Minimal linear equivalent analysis of a variable-memory binary sequence generatorGolić, Jovan Dj.; Mihaljević, Miodrag J.  Научни чланак
21M21 - Водећи међународни часопис категорије M21
1990A contribution to the organization of an expert system for process control of FMCJocković, Miroslav; Vukobratović, Miomir ; Ognjanović, Zoran  Научни чланак
Мп категорија ће бити приказана накнадно.
1990Some restricted classes of typed lambda termsGhilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1990Infinitely distributive elements in the lattice of weak congruencesŠešelja Branimir; Tepavčević Andreja  Научни чланак
Мп категорија ће бити приказана накнадно.
1990A fast iterative algorithm for a shift register initial state reconstruction given the noisy output sequenceMihaljević, Miodrag J.  ; Golić, Jovan Dj.Научни чланак
22M22 - Међународни часопис категорије M22
1990Approach to the modeling of the highest control level of flexible manufacturing cellJocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran  Научни чланак
23M23 - Међународни часопис категорије M23
1989Koncept organizacije upravljačkog Sistema zasnovanog na znanju u proizvodnji upravljanoj preko računaraJocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.