scientific article; zbMATH DE number 976352
From MaRDI portal
Publication:4331757
zbMath0866.68101MaRDI QIDQ4331757
Patricia Johann, Rolf Socher-Ambrosius
Publication date: 5 February 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Resolution for label-based formulas in hierarchical representation ⋮ The Formal System of Dijkstra and Scholten ⋮ Languages of logic and their applications ⋮ Set of support, demodulation, paramodulation: a historical perspective ⋮ Order-sorted logic programming with predicate hierarchy
This page was built for publication: