A decision method for a set of first order classical formulas and its application to decision problems for non-classical propositional logics(Foundational Study and Its Applications)

ダウンロード数: 126

http://hdl.handle.net/2433/98745

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
0540-4.pdf		231.54 kB	Adobe PDF	見る/開く

タイトル:	A decision method for a set of first order classical formulas and its application to decision problems for non-classical propositional logics(Foundational Study and Its Applications)
著者:	MOTOHASHI, Nobuyoshi
著者名の別形:	本橋, 信義
発行日:	Oct-1984
出版者:	京都大学数理解析研究所
誌名:	数理解析研究所講究録
巻:	540
開始ページ:	80
終了ページ:	84
URI:	http://hdl.handle.net/2433/98745
出現コレクション:	0540 数学基礎論及びその応用

このリポジトリに保管されているアイテムはすべて著作権により保護されています。