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