文献
J-GLOBAL ID：201902006620225158   整理番号：19S2671657

A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (1件)：
Motohashi, Nobuyoshi

Motohashi, Nobuyoshi について

(Institute of Mathematics, University of Tsukuba)

Institute of Mathematics, University of Tsukuba について


資料名：
Journal of the Mathematical Society of Japan

Journal of the Mathematical Society of Japan について


巻： 42  号： 1  ページ： 127-132  発行年： 1990年 
JST資料番号： SCOPUS  ISSN： 0025-5645 
タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
SET

SET について

, 
ITS

ITS について


前のページに戻る

TOP

BOTTOM