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.)

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.)

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