Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science, 6172)
詳しい情報
出版社: Springer(2010-06-30)
ペーパーバック: 506 ページ / 15.2 x 2.5 x 22.9 cm
ISBN-10: 3642140513 ISBN-13: 9783642140518