close
1.

電子ブック
ＥＢ
1. Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5674
オンライン: http://dx.doi.org/10.1007/978-3-642-03359-9
所蔵情報: loading…
2.

図書
図書
2. Isabelle/HOL : a proof assistant for higher-order logic
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2283
所蔵情報: loading…