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