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
  • DJVU
  • English
  • Year: 2004
  • Author: Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan
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.)
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
Computation engineering: applied automata theory and logic
  • PDF
  • English
  • Year: 2010
  • Author: Ganesh Gopalakrishnan
Computation Engineering: Applied Automata Theory and Logic
  • PDF
  • English
  • Year: 2006
  • Author: Ganesh Gopalakrishnan
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.)
New directions in solid state chemistry
  • DJVU
  • English
  • Year: 1997
  • Author: Rao C., Gopalakrishnan J.
search