Препринты ИПМ им.М.В.Келдыша. - 1977. № 11. Метод свёрток для разрешения свойств формальных систем
Препринты ИПМ им.М.В.Келдыша. — 1977. — Москва: ИПМ им. М. В. Келдыша РАН.
Янов, Юрий Иванович.
№ 11. Метод свёрток для разрешения свойств формальных систем / Ю. И. Янов. — 1977. — 44 с. (Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук). — ISSN 2071-2898 (Print). — ISSN 2071-2901 (Online).
[ SYS NUM: 27695 ]
Янов, Юрий Иванович.
№ 11. Метод свёрток для разрешения свойств формальных систем / Ю. И. Янов. — 1977. — 44 с. (Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук). — ISSN 2071-2898 (Print). — ISSN 2071-2901 (Online).
[ SYS NUM: 27695 ]