1. Репозиторий ТюмГУ

Просмотр собрания по группе - Тема descriptive logic

Перейти к: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
или введите несколько первых букв:  
Результаты 1 по 1 из 1
Дата выпускаНазваниеАвтор(ы)
2013Optimized absorption method to reduce the time of tableaux algorithmГригорьев, А. В.; Овсянникова, Е. О.; Grigorev, A. V.; Ovsyannikova, E. O.
Результаты 1 по 1 из 1