Organisations



Results 6,061-6,064 of 6,064

The results include the works of researchers who are CURRENTLY employed at the displayed institution.

Issue DateTitleAuthor(s)TypeМp-cat.
1983A decision procedure for certain disjunction-free intermediate propositional calculiBoričić, Branislav  Article
Mp. category will be shown later
1983One of the possible formal descriptions of deducibilityBoričić, Branislav  Article
Mp. category will be shown later
1981Equational reformulation of intuitionistic propositional calculus and classical first-order predicate calculusBoričić, Branislav  Article
Mp. category will be shown later
1970NOVI VID USAVRŠAVANJA PROFESORÂ ENGLESKOG JEZIKASilaški, Nadežda  Article
Mp. category will be shown later