scientific article; zbMATH DE number 1348471
From MaRDI portal
Publication:4264724
zbMath0925.03075MaRDI QIDQ4264724
Publication date: 10 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
The anatomy of vampire. Implementing bottom-up procedures with code trees ⋮ Theorem prover for intuitionistic logic based on the inverse method ⋮ Proof-search in intuitionistic logic based on constraint satisfaction ⋮ A resolution theorem prover for intuitionistic logic ⋮ Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification ⋮ Some pitfalls of LK-to-LJ translations and how to avoid them ⋮ Proof-search in type-theoretic languages: An introduction
This page was built for publication:
