Incremental proof search in the splitting calculus

Christian Mahesh Hansen
Bok · Engelsk · 2004

Utgitt	Oslo : C.M. Hansen , 2004
Omfang	vi, 93 s.
Opplysninger	Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 2004
Emner	Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring Bevisteori Databehandling Vis mer... Teorembevisføring informatikk sekventkalkyle inkrementelt anatomisk første-orden bevissøk