Location & Availability for: Logic-Based Program Synthesis and Transf

 Staff view

You must be logged in to Tag Records

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.

Book Cover
Names: Vidal, Germán.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Series: 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.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Logic-Based Program Synthesis and Transf