A reflective theorem prover for the connection calculus
Bjarne Holen
Bok Engelsk 2005
Utgitt | Oslo : B. Holen , 2005
|
---|---|
Omfang | xi, 179 s. : fig.
|
Opplysninger | Masteroppgave i informatikk - Universitetet i Oslo, 2005
|
Emner |
Utgitt | Oslo : B. Holen , 2005
|
---|---|
Omfang | xi, 179 s. : fig.
|
Opplysninger | Masteroppgave i informatikk - Universitetet i Oslo, 2005
|
Emner |