scientific article; zbMATH DE number 1552524
From MaRDI portal
Publication:4524784
zbMath0977.68076MaRDI QIDQ4524784
Peter Baumgartner, Ulrich Furbach
Publication date: 29 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Semantically-guided goal-sensitive reasoning: model representation ⋮ Towards a unified model of search in theorem-proving: subgoal-reduction strategies ⋮ Set of support, demodulation, paramodulation: a historical perspective
This page was built for publication:
