Alpuente, María.
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers / [electronic resource] : edited by María Alpuente. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6564 0302-9743 ; . - Lecture Notes in Computer Science, 6564 .
9783642205514
10.1007/978-3-642-20551-4 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Algorithms.
Computer Science.
Software Engineering.
Programming Techniques.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
Algorithms.
QA76.758
005.1
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers / [electronic resource] : edited by María Alpuente. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6564 0302-9743 ; . - Lecture Notes in Computer Science, 6564 .
9783642205514
10.1007/978-3-642-20551-4 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Algorithms.
Computer Science.
Software Engineering.
Programming Techniques.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).
Algorithms.
QA76.758
005.1