Logic Based Program Synthesis and Transformation electronic resource : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers / edited by Maurice Bruynooghe

Författare
Sweden) 2003 : (13th LOPSTR (Symposium) Uppsala
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat 978-3-540-25938-1
uuuu-uuuu Utgivningsland okänt / Ej specificerat