scientific article; zbMATH DE number 827088

zbMath0842.68076MaRDI QIDQ4858733

D. V. Ofitserov, O. V. German

Publication date: 18 December 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

problem solvingformal logicweak methodsmeta-procedures

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: