TPHOLs 2000 (2000 Portland, Or.)

TPHOLs 2000 (2000 Portland, Or.)

1 ספרים במאגר

ספרים

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

Theorem proving in higher order logics

TPHOLs 2000 (2000 Portland, Or.) · 2000