Problem solving by searching for models with a theorem prover

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

学術論文

Plaisted, David A.
Max Planck Society;

There are no locators available

There are currently no full texts shared for your IP range.

公開されているフルテキストはありません

There is no public supplementary material available

Lee, S.-J., & Plaisted, D. A. (1994). Problem solving by searching for models with a theorem prover. Artificial Intelligence, 69(1/2), 205-233.

要旨はありません