scientific article; zbMATH DE number 1059302

zbMath0881.68022MaRDI QIDQ4353604

Donald A. Smith

Publication date: 6 November 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Prologdeductive databasesother rule-based systems

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: