TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Theorem Provers with Countermodels and xpe Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 2 / s. 79 - 872001CZYSTY TEKST
Motohiko Mouri, Theorem Provers with Countermodels and xpe, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 2, s. 79 - 87
BIBTEX@Article{ authors = " Motohiko Mouri", title = "Theorem Provers with Countermodels and xpe", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 2", pages = "79 - 87" }
-
Constructing Counter-Models for Modal Logic K4 from Refutation Trees Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 2 / s. 81 - 902002CZYSTY TEKST
Motohiko Mouri, Constructing Counter-Models for Modal Logic K4 from Refutation Trees, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 2, s. 81 - 90
BIBTEX@Article{ authors = " Motohiko Mouri", title = "Constructing Counter-Models for Modal Logic K4 from Refutation Trees", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 2", pages = "81 - 90" }
