еНаука - преглед
Преглед према Аутор 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. | Doctoral theses | 70M70 |
| 1987 | More on trees and finite satisfiability: The taming of terms | Kapetanović, Miodrag; Krapež, Aleksandar | Article | Mp. category will be shown later |
| 2008 | O nekim supstrukturnim logikama | Ilić, Mirjana | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 1977 | On A Class Of Sentential Functions | Kapetanović, Miodrag | Article | Mp. category will be shown later |
| 1980 | On A Many-Valued Sentential Calculus | Kapetanović, Miodrag | Article | Mp. category will be shown later |
| 2007 | On theories with the general disjunction property | Kapetanović, Miodrag | Article | 22M22 |
| 2004 | On two Classical Results in the First Order Logic | Kapetanović, Miodrag | Article | Mp. category will be shown later |
| 2007 | Primene teorije modela u algebri | Kapetanović, Miodrag | Conference Paper | Mp. category will be shown later |
| 2006 | Substructural propositional logics admitting cut elimination | Kapetanović, Miodrag; Isaković-Ilić, M. | Conference Paper | Mp. category will be shown later |