Теория алгоритмов и программ. Выпуск 3
Loading...
Date
Co-author
Advisor
Journal Title
Journal ISSN
Volume Title
Publisher
Латвийский государственный университет
Language
rus
Abstract
Статьи сборника посвящены в основном теории
индуктивного вывода. Рассмотрены также вопросы семантики программ
(аппарат формального доказательства свойств программ) и
теории сводимости.