Логика фундированных действий

Превью изображение
Читать (2.18 MB)

Аннотация

Описание

Авторы

Составители/Переводчики

Год

2000

Journal Title

Journal ISSN

Volume Title

Издательство

Ключевые слова

математика, вычислительная среда, авторефераты диссертаций, конструктивная логика, логический анализ

Коллекции

22.1 Математика
dc.contributor.authorКучуганов, Михаил Валерьевич
dc.contributor.otherНепейвода, Николай Николаевич
dc.date.accessioned2017-04-06T12:32:48Z
dc.date.available2017-04-06T12:32:48Z
dc.date.issued2000
dc.identifier.citationКучуганов, М. В. Логика фундированных действий : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.18 - теоретические основы математического моделирования, численные методы и комплексы программ / Кучуганов М. В. ; [научный руководитель Непейвода Н. Н. : Удмуртский государственный университет]. - Ижевск, 2000. - 16 с.ru_RU
dc.identifier.otherarhiv_book_02049
dc.identifier.urihttp://eanbur.unatlib.ru/handle/123456789/3579
dc.language.isoruru_RU
dc.subjectматематикаru_RU
dc.subjectвычислительная средаru_RU
dc.subjectавторефераты диссертацийru_RU
dc.subjectконструктивная логикаru_RU
dc.subjectлогический анализru_RU
dc.titleЛогика фундированных действийru_RU
dc.typeThesisru_RU