Vista normal Vista MARC Vista ISBD

Logic based program synthesis and transformation : 13th international symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers / LOPSTR 2003 Maurice Bruynooghe, ed. - 232 páginas : ilustraciones

ISBN: 3540221743

Subjects--Topical Terms:
Programación lógica--Congresos

LC Class. No.: QA76.63 / I58 2004