A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics
1990 年 42 巻 1 号 p. 127-132
詳細
記事の1ページ目
1990 年 42 巻 1 号 p. 127-132
この記事は最新の被引用情報を取得できません。
Nippon Sugaku-Buturigakkwai Kizi Dai 3 Ki
Tokyo Sugaku-Buturigakkwai Kizi Dai 2 Ki
Tokyo Sugaku-Butsurigakukwai Kiji-Gaiyo
Tokyo Sugaku-Butsurigakkwai Hokoku
