eNauka - pregled
Pregled prema Autor Kapetanović, Miodrag
Prikaz rezultata 1 do 20 od 23
sledeće >
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 1989 | A Proof Procedure for the First Order Logic | Kapetanović, Miodrag; Krapež, Aleksandar   | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1981 | A Tableaux System in Modal Logic | Kapetanović, Miodrag | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2001 | A tableu based prover for BCK logic | Kapetanović, Miodrag; Isaković-Ilić, M. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2007 | Aleksandar Kron (1937-2000) | Kapetanović, Miodrag | Ostalo | Mp kategorija će biti prikazana naknadno. |
| 2008 | An Lω1ω1 axiomatization of the linear Archimedean continua as merely relational structures | Arsenijević, Miloš; Kapetanović, Miodrag | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2007 | An Lω1ω1 axiomatization of the linear Archimedean continua as merely relational structures | Kapetanović, Miodrag; Arsenijević, Miloš | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2007 | Analytic tableaux and interpolation | Kapetanović, Miodrag | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2007 | Analytic Tableux and Interpolation | Kapetanović, Miodrag | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2007 | Efektivna skolemizacija | Kapetanović, Miodrag | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1999 | Initial Models and Horn Clause Axiomatizability | Kapetanović, Miodrag | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1996 | Metod semantičkih tabloa | Kapetanović, Miodrag | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | Modalna epistemologija i ekspanatorni jaz : značaj argumenta na osnovu zamislivosti zombija | Prelević, Duško N. | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 1987 | More on trees and finite satisfiability: The taming of terms | Kapetanović, Miodrag; Krapež, Aleksandar | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2008 | O nekim supstrukturnim logikama | Ilić, Mirjana | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 1977 | On A Class Of Sentential Functions | Kapetanović, Miodrag | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1980 | On A Many-Valued Sentential Calculus | Kapetanović, Miodrag | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2007 | On theories with the general disjunction property | Kapetanović, Miodrag | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
| 2004 | On two Classical Results in the First Order Logic | Kapetanović, Miodrag | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2007 | Primene teorije modela u algebri | Kapetanović, Miodrag | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2006 | Substructural propositional logics admitting cut elimination | Kapetanović, Miodrag; Isaković-Ilić, M. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |