Search Results - "Automatic theorem proving Congresses"
Suggested Topics within your search.
Suggested Topics within your search.
-
1
Theorem proving in higher order logics 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings
Published 1996Subjects: “…Automatic theorem proving Congresses…”
Conference Proceeding Book
