Logic-Based Program Synthesis and Transformation

Materias

• Logic programming

Ediciones (2)

• Logic-Based Program Synthesis and Transformation (2015)

  Springer London, Limited · inglés · ISBN 9783319141251

• Logic-Based Program Synthesis and Transformation (2014)

  Springer International Publishing AG · inglés · ISBN 9783319141244

Más obras de Gopal Gupta

Logic programming