Поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
Результаты 1-1 из 1.
- назад
- 1
- дальше
Найденные ресурсы:
Предварительный просмотр | Дата выпуска | Название | Автор(ы) |
---|---|---|---|
2023 | Encoding Java Bytecode to CIRCUIT-SAT to solve the problems of programs equivalence cheking | Любаев Даниил Андреевич; Lubaev Daniil Andreevic |