自動書庫

Web出庫サービス

 

出庫指示

  • Types for proofs and programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / Jean Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
  • 061212005005370
  • 図書
サイト内検索