Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings: v. 1125 (Lecture Notes in Computer Science)

5.33 MiB

Download ready in 3s