scientific article
From MaRDI portal
Publication:3489479
zbMath0707.68066MaRDI QIDQ3489479
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Exploiting the deep structure of constraint problems ⋮ Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction ⋮ Principles of metareasoning ⋮ The \(PN^{*}\)-search algorithm: Application to tsume-shogi ⋮ A novel asynchronous parallelism scheme for first-order logic ⋮ Proof-number search ⋮ An analysis of the conspiracy numbers algorithm
This page was built for publication:
