Computerized verification

Automated theorem proving based upon a tableau-method with unification under restrictions : theory, implementation and empirical results / Wilhelmus Mathias Joseph Opheldersschema:ProductModel Building logic toolboxes / Juan Martín Heguiabehereschema:ProductModel Building logic toolboxes / Juan Martín Heguiabehereschema:ProductModel Correctness and availability : building computer algebra on top of proof assistants and making proof assistants available over the Web / Cezary Kaliszykschema:ProductModel Exacte logica / door Hans Freudenthalschema:ProductModel Exacte logica / door Hans Freudenthalschema:ProductModel Ordering refinements of resolution / Jean Marie Guilaume Gérard de Nivelleschema:ProductModel The language of logic / by Hans Freudenthalschema:ProductModel