Estimating the number of steps that it takes to solve some problems of pattern recognition which admit logical description

DOI10.3103/S1063454107040061zbMath1203.68182MaRDI QIDQ946025

Tat'yana Matveevna Kosovskaya

Publication date: 22 September 2008

Published in: Vestnik St. Petersburg University. Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Pattern recognition, speech recognition (68T10)

Related Items (1)

Polynomial equivalence of the problems ``predicate formulas isomorphism and graph isomorphism

Cites Work

• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Estimating the number of steps that it takes to solve some problems of pattern recognition which admit logical description