Logic Program Synthesis and Transformation
de Timothy P. Clement, Kung-Kiu Lau
Ediciones (3)
- Logic Program Synthesis and Transformation (2014)
Springer · ISBN 9781447134954
- Logic Program Synthesis and Transformation (2013)
Springer London, Limited · inglés · ISBN 9781447134947
- Logic Program Synthesis and Transformation (2013)
Springer London, Limited · inglés · ISBN 9781447135609