scientific article; zbMATH DE number 1865568
From MaRDI portal
Publication:4792019
zbMath1058.68102MaRDI QIDQ4792019
Publication date: 9 February 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
Finding proofs in Tarskian geometry ⋮ Formalizing axiomatic systems for propositional logic in Isabelle/HOL ⋮ Shortest axiomatizations of implicational S4 and S5 ⋮ The Legacy of a Great Researcher ⋮ Building Theorem Provers ⋮ 2007 Spring Meeting of the Association for Symbolic Logic ⋮ Proof simplification and automated theorem proving ⋮ Discussing Hilbert's 24th problem ⋮ Larry Wos: visions of automated reasoning
Uses Software
This page was built for publication:
