scientific article
From MaRDI portal
Publication:3857731
zbMath0423.68049MaRDI QIDQ3857731
Publication date: 1979
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 (5)
Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Étude et implémentation d'un système de déduction pour logique algorithmique ⋮ Computer theorem proving in mathematics ⋮ Milestones from the Pure Lisp Theorem Prover to ACL2
This page was built for publication:
