scientific article

From MaRDI portal

Publication:4013771

Jump to:navigation, search

zbMath0749.68018MaRDI QIDQ4013771

K. L. Kwast, Sieger van Denneheuvel

Publication date: 27 September 1992

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

zbMATH Keywords

restriction weak equivalence intermediate variables constraint solving systems

Mathematics Subject Classification ID

Artificial intelligence (68T99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (3)

A deontic approach to database integrity ⋮ Transforming constraint logic programs ⋮ On the restricted equivalence for subclasses of propositional logic

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4013771&oldid=17717606"