Пошук
Додати фільтри:
Використовуйте фільтри для уточнення результатів пошуку.
Результати 1-1 зі 1.
- назад
- 1
- далі
Знайдені матеріали:
Дата випуску | Назва | Автор(и) |
---|---|---|
2018 | Satisfiability Problems in Quasiary Program Logics | Nikitchenko, Mykola; Shkilniak, Stepan; Tymofieiev, Valentyn |