Jump to main content

yr 〜
yr

Search results 7

Mathematics of program construction : 9th international conference, MPC 2008 : Marseille, France, July 15-18, 2008 : proceedings. : Jul 2008, Marseille, France. (Lecture Notes in Computer Science ; 5133)

Mathematics of program construction : 9th international conference, MPC 2008 : Marseille, France, July 15-18, 2008 : proceedings. : Jul 2008, Marseille, France. (Lecture Notes in Computer Science ; 5133)
Paper図書
Springerc2008.<M17-08-1883>
National Diet Library
  • Author Heading...aud, Philippe. Paulin-Mohring, Christine. International Conference on ...

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.

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions : pbk

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions : pbk
Paper図書
Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-MohringSpringerc2010
Other Libraries in Japan
  • Author HeadingBertot, Yves Castéran, P. (Pierre) Huet, Gérard Paulin-Mohring, Christine

Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings

Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings
Paper図書
Philippe Audebaud, Christine Paulin-Mohring (eds.)Springerc2008
Other Libraries in Japan
  • Author Heading...baud, Philippe Paulin-Mohring, Christine

Types for proofs and programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers

Types for proofs and programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Paper図書
Jean Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)Springerc2006
Other Libraries in Japan
  • Author Heading...ean-Christophe Paulin-Mohring, Christine Werner, Benjamin

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. TYPE...

Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers

Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers
Paper図書
Eduardo Giménez, Christine Paulin-Mohring (eds.)Springerc1998
Other Libraries in Japan
  • Author HeadingInternational Workshop on TYPES Giménez, Eduardo Paulin-Mohring, Christine

Reached to the end of result.

RSS