Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings /

Lignende værker

• Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings /
  af: Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
  Udgivet: (2013, c2013)
• Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /
  af: Lennart Beringer, Amy Felty
  Udgivet: (2012, c2012)
• Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings /
  af: Matt Kaufmann, Lawrence C. Paulson
  Udgivet: (2010, c2010)
• Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 14-17, 2014 : Proceedings /
  Udgivet: (2014, c2014)
• Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers /
  af: Herman Geuvers, Freek Wiedijk
  Udgivet: (2003, c2003)