Автоматизация решения логико-комбинаторных задач :
Автоматизация решения логико-комбинаторных задач : Сборник науч. трудов /
АН Белор. ССР. Ин-т техн. кибернетики.
- Минск, 1985.
- 154 с.
Библиогр. в конце статей.
მათემატიკური ლოგიკა ავტომატიზაცია
510.6
Библиогр. в конце статей.
მათემატიკური ლოგიკა ავტომატიზაცია
510.6