scientific article

zbMath0794.68043MaRDI QIDQ4008395

Hiromi Haniuda, Kazumasa Yokota, Nobuyoshi Miyazaki, Hidenori Itoh

Publication date: 27 September 1992

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

zbMATH Keywords

recursive query processinggoal equivalent transformation

Mathematics Subject Classification ID

Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)