Toshimasa Matsumoto
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Time Complexity of Proof search Procedure for K4 Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 4 / s. 201 - 2112003CZYSTY TEKST
Toshimasa Matsumoto, Time Complexity of Proof search Procedure for K4, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 4, s. 201 - 211
BIBTEX@Article{ authors = " Toshimasa Matsumoto", title = "Time Complexity of Proof search Procedure for K4", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 4", pages = "201 - 211" }
