dc.contributor.author | Латвийский государственный университет. Вычислительный центр | |
dc.contributor.editor | Барздинь, Я.М. | |
dc.date.accessioned | 2014-11-07T06:38:48Z | |
dc.date.available | 2014-11-07T06:38:48Z | |
dc.date.issued | 1977 | |
dc.identifier.uri | https://dspace.lu.lv/dspace/handle/7/2962 | |
dc.description.abstract | Статьи сборника посвящены в основном теории
индуктивного вывода. Рассмотрены также вопросы семантики программ
(аппарат формального доказательства свойств программ) и
теории сводимости. | en_US |
dc.language.iso | rus | en_US |
dc.publisher | Латвийский государственный университет | en_US |
dc.rights | info:eu-repo/semantics/openAccess | en_US |
dc.subject | Research Subject Categories::MATHEMATICS::Applied mathematics::Theoretical computer science | en_US |
dc.subject | Теория алгоритмов | en_US |
dc.subject | Программирование | en_US |
dc.subject | Семантика программ | en_US |
dc.subject | Компьютерные программы | en_US |
dc.subject | Математическое программирование | en_US |
dc.subject | Matemātiskā programmēšana | en_US |
dc.subject | Algoritmi | en_US |
dc.title | Теория алгоритмов и программ. Выпуск 3 | en_US |
dc.type | info:eu-repo/semantics/book | en_US |