Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings /

Benzer Materyaller

• Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings /
  Yazar:: Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
  Baskı/Yayın Bilgisi: (2013)
• Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /
  Yazar:: Lennart Beringer, Amy Felty
  Baskı/Yayın Bilgisi: (2012)
• Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings /
  Yazar:: Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
  Baskı/Yayın Bilgisi: (2011)
• 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 /
  Baskı/Yayın Bilgisi: (2014)
• Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings /
  Yazar:: Richard J. Boulton, Paul B. Jackson
  Baskı/Yayın Bilgisi: (2001)