情報提供奥付情報

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

このリクエストの奥付情報（発行年月日、発行元、印刷会社など）をご存知でしたらお知らせください。