Decision procedure for modal sentential calculus S3

このアイテムのアクセス数:62件（2018-04-20 00:54 集計）

このアイテムへのリンクには次のURLをご利用ください:https://doi.org/10.18910/11635

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/11635

ファイル	フォーマット	サイズ	閲覧回数	説明
omj12_01_08	pdf	860 KB	79

タイトル	Decision procedure for modal sentential calculus S3
著者	Matsumoto, Kazuo Matsumoto, Kazuo
公開者	Department of Mathematics, Osaka University
掲載誌名	Osaka Mathematical Journal
巻	12
号	1
開始ページ	167
終了ページ	175
刊行年月	1960
ISSN	00306126
NCID	AA00765921
URL	http://hdl.handle.net/11094/11635
言語	英語
DOI	info:doi/10.18910/11635

著者版フラグ	publisher
NII資源タイプ	紀要論文
ローカル資源タイプ	紀要論文
dcmi資源タイプ	text
日付	1960
DCTERMS.bibliographicCitation	Osaka Mathematical Journal.12(1) P.167-P.175
DC.title	Decision procedure for modal sentential calculus S3
DC.creator	Matsumoto, Kazuo
DC.publisher	Department of Mathematics, Osaka University
DC.language" scheme="DCTERMS.RFC1766	英語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	1960
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/11635
DC.date" scheme="DCTERMS.W3CDTF	1960
DC.identifier	info:doi/10.18910/11635
citation_title	Decision procedure for modal sentential calculus S3
citation_author	Matsumoto, Kazuo
citation_publisher	Department of Mathematics, Osaka University
citation_language	英語
citation_date	1960
citation_journal_title	Osaka Mathematical Journal
citation_volume	12
citation_issue	1
citation_firstpage	167
citation_lastpage	175
citation_issn	00306126
citation_public_url	http://hdl.handle.net/11094/11635
citation_doi	info:doi/10.18910/11635