Давыдов, Г.В., et al. "Машинный алгорифм установления выводимости на основе обратного метода." Zapiski naucnych seminarov Leningradskogo 16 (1969): 8-19. <http://eudml.org/doc/188136>.
@article{Давыдов1969,
author = {Давыдов, Г.В., Маслов, С.Ю., Минц, Г.Е., Оревков, В.П., Слисенко, A.O.},
journal = {Zapiski naucnych seminarov Leningradskogo},
keywords = {languages, automata, networks},
language = {rus},
pages = {8-19},
publisher = {Nauka},
title = {Машинный алгорифм установления выводимости на основе обратного метода},
url = {http://eudml.org/doc/188136},
volume = {16},
year = {1969},
}
TY - JOUR
AU - Давыдов, Г.В.
AU - Маслов, С.Ю.
AU - Минц, Г.Е.
AU - Оревков, В.П.
AU - Слисенко, A.O.
TI - Машинный алгорифм установления выводимости на основе обратного метода
JO - Zapiski naucnych seminarov Leningradskogo
PY - 1969
PB - Nauka
VL - 16
SP - 8
EP - 19
LA - rus
KW - languages, automata, networks
UR - http://eudml.org/doc/188136
ER -
