Поиск по всему репозиторию:
Просмотр по автору "Филипповский, В. А."
Отображаемые элементы 1-1 из 1
-
Алгоритм перевода натурального вывода из древовидной формы представления в фитчевскую форму
Филипповский, В. А. (БрГТУ, 2013)Филипповский, В. А. Алгоритм перевода натурального вывода из древовидной формы представления в фитчевскую форму / В. А. Филипповский // Современные проблемы математики и вычислительной техники : сборник материалов VIII Республиканской научной конференции молодых ученых и студентов, Брест, 21–23 ноября ...2020-01-16