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

Филтрирано по:
Тип:  Научни чланак

Резултати 1.661-1.664 од 1.664

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

ГодинаНасловАутор(и)Тип резултатаМп-кат.
1983A decision procedure for certain disjunction-free intermediate propositional calculiBoričić, Branislav  Научни чланак
Мп категорија ће бити приказана накнадно.
1983One of the possible formal descriptions of deducibilityBoričić, Branislav  Научни чланак
Мп категорија ће бити приказана накнадно.
1981Equational reformulation of intuitionistic propositional calculus and classical first-order predicate calculusBoričić, Branislav  Научни чланак
Мп категорија ће бити приказана накнадно.
1970NOVI VID USAVRŠAVANJA PROFESORÂ ENGLESKOG JEZIKASilaški, Nadežda  Научни чланак
Мп категорија ће бити приказана накнадно.