Vidal, Germán. (Eds.) () Logic-Based Program Synthesis and Transformation21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected PapersMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers /
edited by Germán Vidal.
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.|
Lecture Notes in Computer Science, 7225
|Topics:||Computer science. | Software engineering. | Logic design. | Computational complexity. | Artificial intelligence. | Computer Science. | Programming Techniques. | Software Engineering. | Mathematical Logic and Formal Languages. | Artificial Intelligence (incl. Robotics). | Discrete Mathematics in Computer Science. | Logics and Meanings of Programs.|