Ghilezan, Silvia (Ed.)
Logic in Computer Science II
Beograd : Matematički institut SANU, 2015. 223 p. -- (Zbornik radova / Matematički institut SANU ; knjiga 18 (26))
QA76.9L63 L596