中古あり ￥6,993より
(2025/10/14 03:52:48時点)
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Computer Science)
お気に入り図書館の蔵書
設定
詳しい情報
出版社: Springer(2011-07-12)
ペーパーバック: 524 ページ / 15.5 x 3.0 x 23.5 cm
ISBN-10: 3642224377 ISBN-13: 9783642224379