Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science)
お気に入り図書館の蔵書
設定
詳しい情報
出版社: Springer(2011-08-02)
ペーパーバック: 396 ページ / 15.5 x 2.3 x 23.5 cm
ISBN-10: 3642228623 ISBN-13: 9783642228629