scientific article
From MaRDI portal
Publication:3352532
zbMath0728.68108MaRDI QIDQ3352532
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Generalized subsumption and its applications to induction and redundancy, Knowledge-based proof planning
