部分例示手法に基づいた述語論理式の充足可能性判定手続き

山本, 雅人; 大柳, 俊夫; 大内, 東

北海道大學工學部研究報告, 1993, 165, 73-82

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

このアイテムのアクセス数:1,229件（2026-08-16 02:10 集計）

ファイル	フォーマット	サイズ	閲覧回数	説明
165_73-82	pdf	647 KB	881

アクセス権	open access
URI	https://hdl.handle.net/2115/42376
タイトル	部分例示手法に基づいた述語論理式の充足可能性判定手続き
タイトル	A Procedure for Solving Satisfiability Problem Based on the Partial Instantiation Technique in the First-Order Logic
著者	山本, 雅人 ; 大柳, 俊夫 ; 大内, 東
著者名山本, 雅人 Yamamoto, Masahito
著者名大柳, 俊夫 Ohyanagi, Toshio
著者名大内, 東 Ohuchi, Azuma
言語	日本語
発行日	1993-07-30
出版者	北海道大学
出版者	Hokkaido University
収録物名	北海道大學工學部研究報告
収録物名	Bulletin of the Faculty of Engineering, Hokkaido University
巻(号)	165
ページ	73-82
資源タイプ	紀要論文
出版タイプ	Version of Record
PISSN	0385-602X
NCID	AN00230223