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

Refined By:

Rank: M24

Results 1-7 of 7 (Search time: 0.003 seconds).

	Author(s)	Title	Issue Date	Appears in	Rank
1	Kapetanović, Miodrag	Analytic tableaux and interpolation	1-Dec-2007	Publications de l'Institut Mathematique; 96; 93-97	M24
2	Kapetanović, Miodrag	On two Classical Results in the First Order Logic	2004	Publications de l'Institut Mathématique; 21-24	M24
3	Kapetanović, Miodrag	Initial Models and Horn Clause Axiomatizability	1999	Publications de l'Institut Mathématique; 65(79); 17-19	M24
4	Kapetanović, Miodrag ; Krapež, Aleksandar	A Proof Procedure for the First Order Logic	1989	Publications de l'Institut Mathématique; 45(59); 3-5	M24
5	Kapetanović, Miodrag	A Tableaux System in Modal Logic	1981	Publications de l'Institut Mathématique; 30(44); 65-67	M24
6	Kapetanović, Miodrag	On A Many-Valued Sentential Calculus	1980	Publications de l'Institut Mathématique; 27(41); 103-106	M24
7	Kapetanović, Miodrag	On A Class Of Sentential Functions	1977	Publications de l'Institut Mathématique; 22(36); 127-129	M24

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