Logic in computer science
editor: Zoran Ognjanovic.
[Beograd] : Matematicki institut SANU, 2009.
215 págs. : ilustraciones ; 21 cm.
Serie: Zbornik radova ; 12(20)
ISBN: 9788680593401
Incluye referencias bibliográficas e índices.
Contenido
- Bicartesian coherence revisited / Kosta Dosen and Zoran Petric
- Probability logics / Zoran Ognjanovic, Miodrag Raskovic and Zoran Markovic
- Reasoning in basic description logics and description logics with modal operators / Milenko Mosurovic, Tatjana Stojanovic, and Ana Kaplarevic-Malisic
- Computational interpretations of logics / Silvia Ghilezan and Silvia Likavec.