Publication:2776454
From MaRDI portal
zbMath1001.68132MaRDI QIDQ2776454
Publication date: 18 March 2002
68T27: Logic in artificial intelligence
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)