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 - 211ROK: 2003CZYSTY TEKSTBIBTEX
