Доказательства оценок числа шагов решения некоторых задач распознавания образов, имеющих логические описания

Research output: Contribution to journal › Article › peer-review

Original language	Undefined
Pages (from-to)	82 – 90.
Journal	ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ
Issue number	4
State	Published - 2007
Externally published	Yes

ID: 5161095