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	Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring Databehandling Omskrivning : (NO-TrBIB)REAL004176 Vis mer... Omskrivningsteknikker informatikk teorem bevisning logikk maude meta nivåer