本文に飛ぶ

年 〜
年

検索結果 2 件

Interactive theorem proving : 4th international conference, ITP 2013 : Rennes, France, July 22-26, 2013 : proceedings : ITP and TPHOLs meetings : Jul 2013, Rennes, France. (Lecture Notes in Computer Science ; 7998)

Interactive theorem proving : 4th international conference, ITP 2013 : Rennes, France, July 22-26, 2013 : proceedings : ITP and TPHOLs meetings : Jul 2013, Rennes, France. (Lecture Notes in Computer Science ; 7998)
紙図書
Springerc2013.<M17-14-570>
国立国会図書館
  • 著者標目...azy, Sandrine. Paulin-Mohring, Christine, 1962- Pichardie, David.

Types for proofs and programs : international workshop, TYPES 2004 : Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers. : annual workshop of the TYPES project (EU coordination action 510996) : TYPES meeting : Dec 2004, Jouy-en-Josas, France. (Lecture Notes in Computer Science ; 3839)

Types for proofs and programs : international workshop, TYPES 2004 : Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers. : annual workshop of the TYPES project (EU coordination action 510996) : TYPES meeting : Dec 2004, Jouy-en-Josas, France. (Lecture Notes in Computer Science ; 3839)
紙図書
Springerc2006.<M17-06-1488>
国立国会図書館
  • 著者標目Filliâtre, Jean-Christophe. Paulin-Mohring, Christine, 1962- Werner, Benjamin. TYPES 2004 ...

検索結果は以上です。

RSS