scientific article; zbMATH DE number 2090316

zbMath1072.68566MaRDI QIDQ4809075

Chad Edward Brown

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920408.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (3)

TPS: A hybrid automatic-interactive system for developing proofs ⋮ LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) ⋮ Reducing higher-order theorem proving to a sequence of SAT problems

Uses Software

• TPS
• Isabelle/ZF

This page was built for publication: