JavaSplitter : a Java implementation of variable splitting proof search
Karianne Ekern
Bok Engelsk 2005
| Utgitt | Oslo : K. Ekern , 2005
|
|---|---|
| Omfang | viii, 96 s. : fig.
|
| Opplysninger | Masteroppgave i informatikk - Universitetet i Oslo, 2005
|
| Emner | Automatisk bevisføring : (NO-TrBIB)REAL009781
Bevisføring Bevisteori Databehandling variabel splitting automatisk bevissøk |
