Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully...

Full description

Bibliographic Details
Published in:Springer eBooks
Corporate Author: SpringerLink (Online service)
Other Authors: Proietti, Maurizio (Editor), Seki, Hirohisa (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Series:Lecture Notes in Computer Science,
Subjects:
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 Access:http://dx.doi.org/10.1007/978-3-319-17822-6
Перейти в каталог НБ ТГУ

Internet

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

Similar Items