scientific article
From MaRDI portal
Publication:3049801
zbMath0414.68011MaRDI QIDQ3049801
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of compilers and interpreters (68N20) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Algorithms in computer science (68W99)
Related Items (3)
Reformulation of global constraints based on constraints checkers ⋮ Semantics of production systems ⋮ Fifty Years of Prolog and Beyond
This page was built for publication: