Publication:3536358
From MaRDI portal
zbMath1147.68710MaRDI QIDQ3536358
Slim Abdennadher, Thom Frühwirth
Publication date: 21 November 2008
algorithms; program analysis; computational logic; rule-based programming; executable specifications
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)