Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

357 Pages · 2002 · 2.49 MB · English
by Ricky Butler (auth.) & Victor A. Carreño & César A. Muñoz & Sofiène Tahar (eds.)
Download
“ In the end only three things matter: how much you loved, how gently you lived, and how gracefully you let go of things not meant for you. ” ― Anonymous
Similar Free eBooks
Load more similar PDF files
PDF Drive investigated dozens of problems and listed the biggest global issues facing the world today. Let's Change The World Together
4300万本书和9800万篇文章。
Ask yourself: Am I a better person today, than I was yesterday? Next