scientific article; zbMATH DE number 1341620
From MaRDI portal
Publication:4263169
zbMath0941.68123MaRDI QIDQ4263169
Publication date: 22 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Lightweight relevance filtering for machine-generated resolution problems, A relevance restriction strategy for automated deduction
Uses Software