scientific article; zbMATH DE number 3571523

zbMath0366.68062MaRDI QIDQ4142716

Ivan M. Havel, Olga Stepankova

Publication date: 1977

Full work available at URL: https://eudml.org/doc/28228

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

Mathematics Subject Classification ID

Pattern recognition, speech recognition (68T10)

Related Items (4)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A logical theory of robot problem solving

Cites Work

• A logical theory of robot problem solving
• STRIPS: A new approach to the application of theorem proving to problem solving
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: