scientific article; zbMATH DE number 3451781

zbMath0287.94050MaRDI QIDQ4775806

Ivan M. Havel

Publication date: 1974

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Pattern recognition, speech recognition (68T10)

Related Items (5)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On branching and looping. I ⋮ A logical theory of robot problem solving

Cites Work

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

This page was built for publication: