еНаука - преглед
Преглед према Аутор Kapetanović, Miodrag
Приказ резултата 1 до 20 од 23
следеће >
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
1989 | A Proof Procedure for the First Order Logic | Kapetanović, Miodrag; Krapež, Aleksandar | Научни чланак | Мп категорија ће бити приказана накнадно. |
1981 | A Tableaux System in Modal Logic | Kapetanović, Miodrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
2001 | A tableu based prover for BCK logic | Kapetanović, Miodrag; Isaković-Ilić, M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2007 | Aleksandar Kron (1937-2000) | Kapetanović, Miodrag | Остало | Мп категорија ће бити приказана накнадно. |
2008 | An Lω1ω1 axiomatization of the linear Archimedean continua as merely relational structures | Arsenijević, Miloš; Kapetanović, Miodrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
2007 | An Lω1ω1 axiomatization of the linear Archimedean continua as merely relational structures | Kapetanović, Miodrag; Arsenijević, Miloš | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2007 | Analytic tableaux and interpolation | Kapetanović, Miodrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
2007 | Analytic Tableux and Interpolation | Kapetanović, Miodrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2007 | Efektivna skolemizacija | Kapetanović, Miodrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
1999 | Initial Models and Horn Clause Axiomatizability | Kapetanović, Miodrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
1996 | Metod semantičkih tabloa | Kapetanović, Miodrag | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2013 | Modalna epistemologija i ekspanatorni jaz : značaj argumenta na osnovu zamislivosti zombija | Prelević, Duško N. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
1987 | More on trees and finite satisfiability: The taming of terms | Kapetanović, Miodrag; Krapež, Aleksandar | Научни чланак | Мп категорија ће бити приказана накнадно. |
2008 | O nekim supstrukturnim logikama | Ilić, Mirjana | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
1977 | On A Class Of Sentential Functions | Kapetanović, Miodrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
1980 | On A Many-Valued Sentential Calculus | Kapetanović, Miodrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
2007 | On theories with the general disjunction property | Kapetanović, Miodrag | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2004 | On two Classical Results in the First Order Logic | Kapetanović, Miodrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
2007 | Primene teorije modela u algebri | Kapetanović, Miodrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2006 | Substructural propositional logics admitting cut elimination | Kapetanović, Miodrag; Isaković-Ilić, M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |