Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 18:00, 9 февраля 2019 Root (обсуждение | вклад) автоматически отпатрулировал версию 5834 страницы Boolean SAT/SMT Solvers for Software Engineering