Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings

546 Pages · 2000 · 27.41 MB · English
by Antonia Balaa & Yves Bertot (auth.) & Mark Aagaard & John Harrison (eds.)
Download
“ Those who bring sunshine to the lives of others cannot keep it from themselves. ” ― J. M. Barrie
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: What is one part of my life I miss and why? Next