ნორმალური ფორმატი MARC ფორმატი ISBD ფორმატი

Алгорифм машинного поиска естественного логического вывода в иссилении высказываний / Акад. наук СССР. мат. ин.т им. В. А. Стеклеева. Ленинградское отдел.Перед. загл. авт. Н. А. Шанин , Г. В. Давидов, С. Ю. Маслов. - М.: наука, 1965. - 39 с.

ISBN:

Subjects--Index Terms: ალგორითმი ლოგიკა

Universal Decimal Class. No.: 164