Elsa L. Gunter, Amy Felty

Theorem Proving in Higher Order Logics - 1997 - Springer Berlin Heidelberg 1997 - Lecture Notes in Computer Science .

9783540695264


Computer Science