scientific article
From MaRDI portal
Publication:3490996
zbMath0708.68067MaRDI QIDQ3490996
Publication date: 1990
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 (4)
Linear and unit-resulting refutations for Horn theories ⋮ Knowledge-based proof planning ⋮ Str∔ve and integers ⋮ Ordered chaining for total orderings
This page was built for publication:
