Ivan Kramosil
2 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A classification of inconsistent theories Opublikowano w: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 1 / s. 35 - 45ROK: 1977CZYSTY TEKSTBIBTEX
-
Evaluation of propositional formulas from the viewpoint of computational complexity Opublikowano w: Bulletin of the Section of Logic 1988 / Tom 17 / Numer 2 / s. 62 - 66ROK: 1988CZYSTY TEKSTBIBTEX
