Paul B. Thistlewaite
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A mechanized decision procedure for non-classical logics: The program KRIPKE Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 189 - 1921980CZYSTY TEKST
Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite, A mechanized decision procedure for non-classical logics: The program KRIPKE, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 189 - 192
BIBTEX@Article{ authors = " Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite", title = "A mechanized decision procedure for non-classical logics: The program KRIPKE", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "189 - 192" }
