Поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
Результаты 1-1 из 1.
- назад
- 1
- дальше
Найденные ресурсы:
| Дата выпуска | Название | Автор(ы) |
|---|---|---|
| 2009-11 | Представление термов для алгоритма резолюции логики высказываний | Волченко, М.В. |