| Найдено документов - 1 | Источник: Разработка прототипа решателя для расширенных шаговых теорий логики высказываний = Development of a prototype solver for extended step theories of propositional logic / И. Б. Фоминых, Н. П. Алек... | Версия для печати |
Сортировать по:
1. Номер журнала
| Программные продукты и системы. Т. 35, № 2. - 2022. | |
| Экземпляры: | Всего: 1, из них: БУП ФЗИ-1 |
| Поиск: | Статьи из номера журнала (сборника) Источник |