Kapetanović, Miodrag

Network Lab View Statistics Email Alert

Loading... 3 0 20 0 false

Full Name

Scopus Author ID

18436895400

Country

Serbia

Loading... 2 0 20 0 false

Results 1-8 of 8 (Search time: 0.002 seconds).

	Author(s)	Title	Issue Date	Appears in	Rank
1	Kapetanović, Miodrag	Analytic Tableux and Interpolation	2007	Tableux 2007, Aix en Provence, 3-6. juli 2007.	M34
2	Kapetanović, Miodrag	Efektivna skolemizacija	2007	Dani logike, Novi Sad, 2007	M64
3	Kapetanović, Miodrag	Primene teorije modela u algebri	2007	Dani logike, Novi Sad, 2007	M64
4	Kapetanović, Miodrag ; Arsenijević, Miloš	An Lω1ω1 axiomatization of the linear Archimedean continua as merely relational structures	2007	Proceedings of the 11th WSEAS International Conference in Applied Mathematics, Dalas, Texas, USA; 180-185	M33
5	Kapetanović, Miodrag ; Isaković-Ilić, M.	Substructural propositional logics admitting cut elimination	2006	International Congress of Mathematicians, August 22-30 2006, Madrid, Španija	M34
6	Kapetanović, Miodrag	Tabloi za substrukturne logike	2003	Skup posvećenom A. Kronu, Beograd 2003	M64
7	Kapetanović, Miodrag ; Isaković-Ilić, M.	A tableu based prover for BCK logic	2001	Proceedings of the XIV Conference on Applied Mathematics 2001; 26-30	M33
8	Kapetanović, Miodrag	Work of Slaviša Prešić in Artificial Intelligence	2001	A Tribute to S.B. Prešić; 15-19	M33

Results 1-5 of 5 (Search time: 0.001 seconds).

Acronym	Title	Start date	Completion	P-Investigator
PROJECT 144050	History and philosophy of mathematics and natural sciences	01-01-2006	31-12-2010	Božić, Milan
PROJECT 1379	Methods of Mathematical Logic for Decision Support in Real Life Situations	01-01-2002	31-12-2005	Ognjanović, Zoran
PROJECT 144029	Models, Languages, Types, and Processes in Computing	01-01-2006	31-12-2010	Ghilezan, Silvia
PROJECT 174026	Representations of logical structures and formal languages and their application in computing	01-01-2011	31-12-2019	Ghilezan, Silvia
PROJECT 144013	Representations of logical structures and their application in computer science	01-01-2006	31-12-2010	Ognjanović, Zoran