Isabelle/HOL : a proof assistant for higher-order logic

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Bok · Engelsk · 2002

Utgitt	Berlin : Springer , c2002
Omfang	XIII, 218 s.
Opplysninger	På omslaget: Tutorial
Emner	Automatic theorem proving Computer logic Bevisføring (Matematikk) Bevisteori Vis mer... Computer Science Engineering & Applied Sciences Funksjonell programmering Logikkprogrammering Matematisk logikk - Databehandling Bevisteori((NO-TrBIB)REAL011320) Funksjonell programmering((NO-TrBIB)REAL008906) Logikkprogrammering((NO-TrBIB)REAL009516)
Dewey	004.01/5113
ISBN	3540433767