scientific article
From MaRDI portal
Publication:3355225
zbMath0729.68014MaRDI QIDQ3355225
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Related Items (2)
Synthesis of positive logic programs for checking a class of definitions with infinite quantification ⋮ Equivalence-preserving first-order unfold/fold transformation systems
This page was built for publication:
