A theorem prover for UNITY in higher order logic


Flemming Andersen
Bok Engelsk 1992
Utgitt
Hørsholm : TFL , c1992
Omfang
ix, 176 s.
Opplysninger
Avh. (tekn. lic.) - Danmarks Tekniske Højskole, 1992
Emner

Bibliotek som har denne