Handbook of Automated Reasoning : Vol.1-2 (Hard)
(英) 自動推論ハンドブック
【シリーズ】
【出版社 】North-Holland
【発行年度】2001 【冊数】2 【頁数】2122 【判型・装丁】8vo hard
【現品状態】
少汚れ。少背浮き。本文概ね良好。
【ISBN】0444829490
¥ 25,000 税込