自動書庫

Web出庫サービス

 

出庫指示

  • Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings / Jim Grundy, Malcolm Newey (eds.)
  • 061232004019041
  • 図書
サイト内検索