Поиск по всему репозиторию:

Показать краткое описание

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


Файлы в этом документе

Thumbnail

Данный элемент включен в следующие коллекции

Показать краткое описание