Home > Theorem proving in higher order logics: 9th International Conference, TPHOL ʼ96, Turku, Finland, August 1996: proceedings /
Theorem proving in higher order logics: 9th International Conference, TPHOL ʼ96, Turku, Finland, August 1996: proceedings /
Book Informaton
Citation Options
Download CitationShowing 1 to 20 of 28 entries
Chapters/Headings | Author(s) | Pages | Info |
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 28 entries