scientific article
From MaRDI portal
Publication:4013363
zbMath0760.03004MaRDI QIDQ4013363
Publication date: 27 September 1992
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)
Linear and unit-resulting refutations for Horn theories ⋮ Ordered tableaux: Extensions and applications ⋮ Cyclic connections ⋮ Incremental theory reasoning methods for semantic tableaux ⋮ Connection calculus theorem proving with multiple built-in theories
This page was built for publication:
