Home Advanced Search

Advanced Search - Page 1

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
  • DJVU
  • English
  • Year: 2004
  • Author: Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Mike Gordon (auth.), Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (eds.)
Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Behzad Akbarpour, Lawrence C. Paulson (auth.), Rupak Majumdar, Paulo Tabuada (eds.)
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)
Formalized Probability Theory and Applications Using Theorem Proving
  • PDF
  • English
  • Year: 2015
  • Author: Osman Hasan, Sofiène Tahar
Automata and computability: a programmer's perspective
  • PDF
  • English
  • Year: 2019
  • Author: Gopalakrishnan, Ganesh
Automata and Computability: A Programmer’s Perspective
  • PDF
  • English
  • Year: 2019
  • Author: Ganesh Gopalakrishnan
search