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 |