Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully review...

Полное описание

Библиографическая информация
Опубликовано в: :Springer eBooks
Соавтор: SpringerLink (Online service)
Другие авторы: Falaschi, Moreno (Редактор)
Формат: Электронная книга
Язык:English
Публикация: Cham : Springer International Publishing : Imprint: Springer, 2015.
Редактирование:1st ed. 2015.
Серии:Lecture Notes in Computer Science,
Предметы:
Computer Science.
Software engineering.
Computer logic.
Mathematical logic.
Computer science > Mathematics.
Artificial intelligence.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Discrete Mathematics in Computer Science.
Online-ссылка:http://dx.doi.org/10.1007/978-3-319-27436-2
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/978-3-319-27436-2
Перейти в каталог НБ ТГУ

Похожие документы