自動書庫

Web出庫サービス

 

出庫指示

  • Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings / Bernhard Beckert (ed.)
  • 061212005003476
  • 図書
サイト内検索