ようこそ ゲスト さん
雑誌ブラウズ
雑誌 全て
大阪大学 刊行物
ランキング
アクセスランキング
ダウンロードランキング
博士論文のみをさがす
資料種別
学術雑誌論文 Journal Article
博士論文 本文あり Doctoral Thesis with Full Text
博士論文 Doctoral Thesis
紀要論文 Departmental Bulletin Paper
研究報告書 Research Paper
学内報告書等 Reports
単行書 Book
会議発表用資料 Presentation
会議発表論文 Conference Paper
教材 Teaching Material
貴重書 Rare Materials
データセット Dataset
ディスカッション/ワーキング・ペーパー DP/WP
一般記事 Article
本学関連学会 Related Societies
その他 other
このアイテムのアクセス数:
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