scientific article
From MaRDI portal
Publication:3786039
zbMath0643.68166MaRDI QIDQ3786039
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relational databaseincomplete informationquery processingdata dependenciesfirst order theorytheorem-provingincomplete logical databasesmonotone queries
Related Items (1)
This page was built for publication: