HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Engineering / Faculty of Engineering >
北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University >
No.165 >

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

Files in This Item:
165_73-82.pdf647.74 kBPDFView/Open
Please use this identifier to cite or link to this item:http://hdl.handle.net/2115/42376

Title: 部分例示手法に基づいた述語論理式の充足可能性判定手続き
Other Titles: A Procedure for Solving Satisfiability Problem Based on the Partial Instantiation Technique in the First-Order Logic
Authors: 山本, 雅人1 Browse this author
大柳, 俊夫2 Browse this author
大内, 東3 Browse this author
Authors(alt): Yamamoto, Masahito1
Ohyanagi, Toshio2
Ohuchi, Azuma3
Issue Date: 30-Jul-1993
Publisher: 北海道大学
Journal Title: 北海道大學工學部研究報告
Journal Title(alt): Bulletin of the Faculty of Engineering, Hokkaido University
Volume: 165
Start Page: 73
End Page: 82
Type: bulletin (article)
URI: http://hdl.handle.net/2115/42376
Appears in Collections:北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University > No.165

Export metadata:

OAI-PMH ( junii2 , jpcoar )

MathJax is now OFF:


 

 - Hokkaido University