Theorem Proving in Higher Order Logics
Subtitle: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540301424