Маслов, С.Ю.. "Тактики поиска вывода, основанные на унификации порядка членов в благоприятном наборе." Zapiski naucnych seminarov Leningradskogo 16 (1969): 126-136. <http://eudml.org/doc/188148>.
@article{Маслов1969, author = {Маслов, С.Ю.}, journal = {Zapiski naucnych seminarov Leningradskogo}, language = {rus}, pages = {126-136}, publisher = {Nauka}, title = {Тактики поиска вывода, основанные на унификации порядка членов в благоприятном наборе}, url = {http://eudml.org/doc/188148}, volume = {16}, year = {1969}, }
TY - JOUR AU - Маслов, С.Ю. TI - Тактики поиска вывода, основанные на унификации порядка членов в благоприятном наборе JO - Zapiski naucnych seminarov Leningradskogo PY - 1969 PB - Nauka VL - 16 SP - 126 EP - 136 LA - rus UR - http://eudml.org/doc/188148 ER -