Theorem Proving in Higher Order Logics
Subtitle: 13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings
Publisher: Springer London, Limited
Published: 2007
Language: eng
ISBN-13: 9783540446590
Subjects: Automatic theorem proving