Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springerc2013.<M17-14-570>
National Diet Library
  • Author Heading...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)
Paper図書
Springerc2006.<M17-06-1488>
National Diet Library
  • Author HeadingFilliâtre, Jean-Christophe. Paulin-Mohring, Christine, 1962- Werner, Benjamin. TYPES 2004 ...

Reached to the end of result.

RSS