TPHOLs '96 (1996 Turku, Finland)

TPHOLs '96 (1996 Turku, Finland)

1 ספרים במאגר

ספרים

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

Theorem proving in higher order logics

TPHOLs '96 (1996 Turku, Finland) · 1996