生成と検査の論理プログラムの統合による優先順位付き極小限定の一般選言論理プログラムへの変換(「さまざまな分野の形式的検証最前線」及びAI一般)

スポンサーリンク

概要

著者

関連論文

もっと見る

スポンサーリンク