TPHOLs 2000 (2000 Portland, Or.)

TPHOLs 2000 (2000 Portland, Or.)

1 books in the database

Books

Theorem proving in higher order logicsTPHOLs 2000 (2000 Portland, Or.)

Theorem proving in higher order logics

TPHOLs 2000 (2000 Portland, Or.) · 2000