中古あり ￥15,688より
(2026/01/28 21:21:42時点)
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings (Lecture Notes in Computer Science, 971)
詳しい情報
出版社: Springer(2009-02-22)
ペーパーバック: 416 ページ / 15.5 x 2.4 x 23.5 cm
ISBN-10: 3540602755 ISBN-13: 9783540602750