復刊リクエスト投票

• 論理による問題の解法

  【著者】R. コワルスキ

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