dc.contributor.author | Филипповский, В. А. | |
dc.coverage.spatial | Брест | ru_RU |
dc.date.accessioned | 2020-01-16T11:31:54Z | |
dc.date.available | 2020-01-16T11:31:54Z | |
dc.date.issued | 2013 | |
dc.identifier.citation | Филипповский, В. А. Алгоритм перевода натурального вывода из древовидной формы представления в фитчевскую форму / В. А. Филипповский // Современные проблемы математики и вычислительной техники : сборник материалов VIII Республиканской научной конференции молодых ученых и студентов, Брест, 21–23 ноября 2013 года / Министерство образования Республики Беларусь, Брестский государственный технический университет ; редкол.: В. С. Рубанов [и др.]. – Брест : БрГТУ, 2013. – С. 160–161. | ru_RU |
dc.identifier.uri | https://rep.bstu.by/handle/data/3349 | |
dc.description | Filippovsky V. A. Algorithm for translating the natural conclusion from the tree-like form of representation to the Fitchev form | ru_RU |
dc.language.iso | ru | ru_RU |
dc.publisher | БрГТУ | ru_RU |
dc.subject | математика | ru_RU |
dc.subject | maths | ru_RU |
dc.title | Алгоритм перевода натурального вывода из древовидной формы представления в фитчевскую форму | ru_RU |
dc.type | Научный доклад (Working Paper) | ru_RU |
dc.identifier.udc | 510.662 | ru_RU |