検索結果 2 件
紙図書
全国の図書館
紙図書
全国の図書館
- 目次・記事...elected papers Interactive theorem proving : third international conference, ITP 2012, Princeton, NJ, USA, August 13-15 2012 : proceedings Advances in exception handlin...
- 関連情報...elected papers Interactive theorem proving : third international conference, ITP 2012, Princeton, NJ, USA, August 13-15 2012 : proceedings Advances in exception handlin...
検索結果は以上です。