述語論理と論理プログラミング述語論理と論理プログラミング有川節夫, 原口誠出版社オーム社発売日1988-05-01ISBN9784274073861読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする
