Home Advanced Search

Advanced Search - Page 1

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Lawrence C. Paulson (auth.), Lennart Beringer, Amy Felty (eds.)
Isabelle: A Generic Theorem Prover
  • DJVU
  • English
  • Year: 1994
  • Author: Lawrence C. Paulson (eds.)
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Amy Felty, Douglas Howe (auth.), Frank Pfenning (eds.)
Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.)
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Sten Agerholm, Jacob Frost (auth.), Elsa L. Gunter, Amy Felty (eds.)
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Amy P. Felty, Aart Middeldorp (eds.)
Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Lawrence C. Paulson (auth.), Bruce Christianson, Bruno Crispo, William S. Harbison, Michael Roe (eds.)
Advances in Nitrogen Fixation Research: Proceedings of the 5th International Symposium on Nitrogen Fixation, Noordwijkerhout, The Netherlands, August 28 – September 3, 1983
  • PDF
  • English
  • Year: 1983
  • Author: John E. Beringer (auth.), C. Veeger, W. E. Newton (eds.)
search