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
|
