scientific article; zbMATH DE number 794241
From MaRDI portal
Publication:4847001
zbMath0839.68051MaRDI QIDQ4847001
Publication date: 10 September 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Incorporating decision procedures in implicit induction., Constraint contextual rewriting., Canonical Ground Horn Theories, The control layer in open mechanized reasoning systems: Annotations and tactics, Set of support, demodulation, paramodulation: a historical perspective
