情報提供サイト情報

計算論理学入門：AIとコンピュータサイエンスへの論理的アプローチ

関連する公式サイト・ファンサイトなどをご存知でしたらお知らせください。