Alberto Naibo
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Proof theory of epistemic logic of programs Opublikowano w: Logic and Logical Philosophy 2014 / Tom 23 / Numer 3 / s. 301 - 328ROK: 2014CZYSTY TEKSTBIBTEX
