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

Резултати 4.221-4.240 од 4.307

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

ГодинаНасловАутор(и)Тип резултатаМп-кат.
1994A tableau-like proof procedure for normal modal logicsOgnjanović, Zoran  Научни чланак
22M22 - Међународни часопис категорије M22
1994On the Number of Digital Convex Polygons Inscribed into an (m, m)-GridIvić, Aleksandar; Koplowitz, Jack; Žunić, Joviša  Научни чланак
21aM21a - Водећи међународни часопис категорије M21a
1994Application of typed lambda calculi in the untyped lambda calculusGhilezan, Silvia  Научни чланак
23M23 - Међународни часопис категорије M23
1994Conjugation in SerboCroatianGhilezan, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
1994Calibres of first countable spacesTodorčević, Stevo  Научни чланак
23M23 - Међународни часопис категорије M23
1993A solution of an inference engine in knowladge based systemsJocković, Miroslav; Ognjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1993Number of digital convex polygons inscribed into an (m,m)-gridIvić, Aleksandar; Koplowitz, Jack; Žunić, Joviša  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1993An approach to the initial state reconstruction of a clock-controlled shift register based on a novel distance measureMihaljević, Miodrag J.  Научни чланак
23M23 - Међународни часопис категорије M23
1993Statistical characterization of digital linesMelter, Robert; Stojmenović, Ivan; Žunić, Joviša  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1993Partially ordered and relational valued algebras and congruencesŠešelja, Branimir; Tepavčević, Andreja  Научни чланак
Мп категорија ће бити приказана накнадно.
1993Inhabitation in intersection and union type assignment systemsGhilezan, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
1993Extensions of the Erdős-Rado theoremBaumgartner, James; Hajnal, Andras; Todorčević, Stevo  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1993The minimal size of a square which includes a digital convex 2K–gonAcketa, Dragan; Žunić, Joviša  Научни чланак
23M23 - Међународни часопис категорије M23
1993Irredundant sets in boolean algebrasTodorčević, Stevo  Научни чланак
21M21 - Водећи међународни часопис категорије M21
1993Conjectures of Rado and Chang and cardinal arithmeticTodorčević, Stevo  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1993Short review of the Ramsey theorem and related resultsTodorčević, Stevo  Научни чланак
Мп категорија ће бити приказана накнадно.
1993A new characterization of digital lines by least square fitsMelter, Robert; Stojmenović, Ivan; Žunić, Joviša  Научни чланак
22M22 - Међународни часопис категорије M22
1993Some Applications of S and L CombinatoricsTodorčević, Stevo  Научни чланак
21M21 - Водећи међународни часопис категорије M21
1993A note on typed combinators and typed lambda termsGhilezan, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
1993L-fuzzy sets and codesŠešelja, Branimir; Tepavčević, Andreja  ; Vojvodić, GradimirНаучни чланак
21M21 - Водећи међународни часопис категорије M21