Hurd, Joe
Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings
- New York: Springer, 2005
- ix, 408 p.; ill.: 24 cm.
- 3603 .
- Lecture notes in computer science .
9783540283720 pbk
Logic
Theorem proving
Symbolic
Higher order logics
mathematical
Automatic theorem proving
004 / HUR