Теория дедуктивных систем и ее применения /
Маслов, Сергей Юрьевич
Теория дедуктивных систем и ее применения / Сергей Маслов. - Москва : Радио и связь, 1986. - 135 с. - Кибернетика .
მათემატიკური ლოგიკა დედუქციური თეორია გამოთვლითი თეორია
510.6
Теория дедуктивных систем и ее применения / Сергей Маслов. - Москва : Радио и связь, 1986. - 135 с. - Кибернетика .
მათემატიკური ლოგიკა დედუქციური თეორია გამოთვლითი თეორია
510.6