Milan Božić is an author at Arheološki Institut specializing in automated reasoning and semantics.
Top concepts
Publications per year
1984–1984
1
1
Models for normal intuitionistic modal logics
Milan Božić, Kosta Došen · Studia Logica · 1984 · 119 citations
Non-classical Logic, Automated Reasoning, Constructive Logic +2
Rows per page
1–1 of 1