Organizacije

Rezultati 6,061-6,064 od 6,064

Rezultati obuhvataju radove istraživača koji su TRENUTNO zaposleni u prikazanoj instituciji.

GodinaNaslovAutor(i)Tip rezultataMp-kat.
1983A decision procedure for certain disjunction-free intermediate propositional calculiBoričić, Branislav  Naučni članak
Mp kategorija će biti prikazana naknadno.
1983One of the possible formal descriptions of deducibilityBoričić, Branislav  Naučni članak
Mp kategorija će biti prikazana naknadno.
1981Equational reformulation of intuitionistic propositional calculus and classical first-order predicate calculusBoričić, Branislav  Naučni članak
Mp kategorija će biti prikazana naknadno.
1970NOVI VID USAVRŠAVANJA PROFESORÂ ENGLESKOG JEZIKASilaški, Nadežda  Naučni članak
Mp kategorija će biti prikazana naknadno.