scientific article
From MaRDI portal
Publication:3795647
zbMath0651.03004MaRDI QIDQ3795647
No author found.
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
queryreduction problemcase inferencedc-consequencesderived clausesidentification problem of the set of subgoalsmarked subgoalsOL-resolutionresolution based theorem provers
Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items