北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University;No.165

FONT SIZE:  S M L

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

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

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

Abstract


FULL TEXT:PDF