自動書庫

Web出庫サービス

 

出庫指示

  • Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings / Richard J. Boulton, Paul B. Jackson (eds.)
  • 061232004025777
  • 図書
サイト内検索