scientific article
From MaRDI portal
Publication:3495341
zbMATH Open0711.03005MaRDI QIDQ3495341
Publication date: 1989
Title of this publication is not available (Why is that?)
Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Other applications of logic (03B80)
Related Items (5)
On the complexity of formulas in semantic programming ⋮ On abstract resource semantics and computability logic ⋮ Solving problems on finite concrete logics with the help of a PC ⋮ The computational complexity of ideal semantics ⋮ Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3495341)