Kosovskaya, T. 2010. Some artificial intelligence problems permitting formalization by means of predicate calculus language and upper bounds of their solution steps. SPIIRAS Proceedings. 3, 14 (Sep. 2010), 58-75. DOI:https://doi.org/10.15622/sp.14.4.