述語論理式間の含意関係判定の簡略化について

前田, 隆

北海道大學工學部研究報告, 1972, 65, 87-95

Permalink : https://hdl.handle.net/2115/41098

このアイテムのアクセス数:1,224件（2026-05-12 11:58 集計）

ファイル	フォーマット	サイズ	閲覧回数	説明
65_87-96	pdf	550 KB	993

アクセス権	open access
URI	https://hdl.handle.net/2115/41098
タイトル	述語論理式間の含意関係判定の簡略化について
タイトル	On the Reduction of Recognition of the Implication Relations between Formulas in the Logic of Predicates
著者	著者名前田, 隆 Maeda, Takashi
言語	日本語
発行日	1972-12-16
出版者	北海道大学
出版者	Hokkaido University
収録物名	北海道大學工學部研究報告
収録物名	Bulletin of the Faculty of Engineering, Hokkaido University
巻(号)	65
ページ	87-95
資源タイプ	紀要論文
出版タイプ	Version of Record
PISSN	0385-602X
NCID	AN00230223