Originalsprog | Engelsk |
---|---|
Bogserie | Lecture Notes in Computer Science |
Udgave nummer | 4915 |
Sider (fra-til) | 23-42 |
Antal sider | 19 |
ISSN | 0302-9743 |
DOI | |
Status | Udgivet - 2008 |
Begivenhed | Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007 - Kgs. Lyngby, Danmark Varighed: 23 aug. 2007 → 24 aug. 2007 Konferencens nummer: 17 |
Konference
Konference | Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007 |
---|---|
Nummer | 17 |
Land/Område | Danmark |
By | Kgs. Lyngby |
Periode | 23/08/2007 → 24/08/2007 |