Шанин Н. А., Давыдов Г. В., & Маслов С. Ю. (1965). Алгорифм машинного поиска естественного логического вывода в исчислении высказываний: Н. А. Шанин [и др.]. Москва Ленинград Наука, [Ленинградское отделение] 1965.
Chicago-стиль цитированияШанин Н. А., Давыдов Г. В, and Маслов С. Ю. Алгорифм машинного поиска естественного логического вывода в исчислении высказываний: Н. А. Шанин [и др.]. Москва Ленинград Наука, [Ленинградское отделение] 1965, 1965.
MLA-цитированиеШанин Н. А., Давыдов Г. В, and Маслов С. Ю. Алгорифм машинного поиска естественного логического вывода в исчислении высказываний: Н. А. Шанин [и др.]. Москва Ленинград Наука, [Ленинградское отделение] 1965, 1965.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.