A variable-splitting theorem prover
Christian Mahesh Hansen
Bok Språk ikke angitt 2012
| Utgitt | [Oslo] : [Department of Informatics], Faculty of Mathematics and Natural Sciences, University of Oslo , 2012
|
|---|---|
| Omfang | XII, 220 s. : ill.
|
| Opplysninger | Avhandling (ph.d.) - Universitetet i Oslo, 2012
|
| Emner | symbolsk logikk
|
| Dewey |
