中古あり ￥3,100より
(2025/10/04 17:13:43時点)
Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science, 1095)
詳しい情報
出版社: Springer(1996-01-15)
ペーパーバック: 248 ページ / 15.5 x 1.4 x 23.5 cm
ISBN-10: 3540613986 ISBN-13: 9783540613985