Cut elimination and automatic proof procedures
by Wenhui Zhang
Bok Engelsk 1988
Utgitt | [Oslo] , 1988
|
---|---|
Omfang | ix, 87 bl.
|
Opplysninger | Avhandling (dr.scient.) - Universitetet i Oslo, 1989
|
Emner | Informatikk
Informatikkfaget : (NO-TrBIB)REAL000964 bevis matematikk teoremer logikk reasoning mathematical logic |
Dewey | |
ISBN | 8273680142
|