scientific article
From MaRDI portal
Publication:3484382
zbMath0704.68095MaRDI QIDQ3484382
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 (6)
Semantically-guided goal-sensitive reasoning: model representation ⋮ Problem solving by searching for models with a theorem prover ⋮ On First-Order Model-Based Reasoning ⋮ Semantically-guided goal-sensitive reasoning: inference system and completeness ⋮ A theory of abstraction ⋮ Set of support, demodulation, paramodulation: a historical perspective
This page was built for publication:
