Ivan Kramosil
2 artykuły w 1 czasopismach
-
A classification of inconsistent theories Opublikowano w: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 1 / s. 35 - 451977CZYSTY TEKST
Ivan Kramosil, A classification of inconsistent theories, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 1, s. 35 - 45
BIBTEX@Article{ authors = " Ivan Kramosil", title = "A classification of inconsistent theories", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 1", pages = "35 - 45" }
-
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 - 661988CZYSTY TEKST
Ivan Kramosil, Evaluation of propositional formulas from the viewpoint of computational complexity, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 2, s. 62 - 66
BIBTEX@Article{ authors = " Ivan Kramosil", title = "Evaluation of propositional formulas from the viewpoint of computational complexity", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 2", pages = "62 - 66" }