TPHOLs '98 (1998 Canberra, A.C.T.)

TPHOLs '98 (1998 Canberra, A.C.T.)

1 books in the database

Books

Theorem proving in higher order logicsTPHOLs '98 (1998 Canberra, A.C.T.)

Theorem proving in higher order logics

TPHOLs '98 (1998 Canberra, A.C.T.) · 1998