Logic Based Program Synthesis and Transformation

Materias

• Logic programming
• Congresses

Ediciones (3)

• Logic Based Program Synthesis and Transformation (2014)

  Springer · ISBN 9783662197417

• Logic Based Program Synthesis and Transformation (2003)

  Springer London, Limited · inglés · ISBN 9783540456070

• Logic Based Program Synthesis and Transformation (2002)

  Springer · inglés · ISBN 9783540439158

Más obras de Alberto Pettorossi