Higher Order Logic Theorem Proving and Its Applications
Subtitle: Proceedings of the IFIP TC10/WG10. 2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992
Publisher: Elsevier Science & Technology Books
Published: 2014
Language: eng
ISBN-13: 9781483298405