Теория алгоритмов и программ. Выпуск 3
| 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.description.abstract | Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости. | en_US |
| dc.identifier.uri | https://dspace.lu.lv/dspace/handle/7/2962 | |
| 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 |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Zinatniskie_raksti_x329_sej_Teorija_algoritmov_1977_sn135535_.pdf
- Size:
- 14.03 MB
- Format:
- Adobe Portable Document Format
- Description:
License bundle
1 - 1 of 1
Loading...
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: