Библиографическое описание

Филипповский, В. А. Алгоритм перевода натурального вывода из древовидной формы представления в фитчевскую форму / В. А. Филипповский // Современные проблемы математики и вычислительной техники : сборник материалов VIII Республиканской научной конференции молодых ученых и студентов, Брест, 21–23 ноября 2013 года / Министерство образования Республики Беларусь, Брестский государственный технический университет ; редкол.: В. С. Рубанов [и др.]. – Брест : БрГТУ, 2013. – С. 160–161.