scientific article
From MaRDI portal
Publication:3506043
zbMath1145.68434MaRDI QIDQ3506043
Hans Kleine Büning, Zhao, Xishun
Publication date: 11 June 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Classical propositional logic (03B05)
This page was built for publication:
