TPHOLs '96 (1996 Turku, Finland)

TPHOLs '96 (1996 Turku, Finland)

1 books in the database

Books

Theorem proving in higher order logicsTPHOLs '96 (1996 Turku, Finland)

Theorem proving in higher order logics

TPHOLs '96 (1996 Turku, Finland) · 1996