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

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

1 ספרים במאגר

ספרים

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