kfさんのページ 復刊リクエスト投票 論理による問題の解法 【著者】R. コワルスキ 原著者のコワルスキさんは、Prologの理論を確立した人であり、日本での第5世代コンピュータにも深いかかわりのある人です。本書は、論理に基づいて問題解決を形式的に扱う名著です。是非復刊をお願いします。(2006/08/23)
復刊リクエスト投票
論理による問題の解法
【著者】R. コワルスキ