Logic-Based Program Synthesis and Transformation
16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Germán Puebla
Themen in »Logic-Based Program Synthesis and Transformation«
Debugging algorithm algorithms computational logic constraint programming formal methods functional programming logic logic program manipulation nonmonotonic reasoning optimization progr program analysis proving semantic web
Stimmen zu »Logic-Based Program Synthesis and Transformation«
Details
ISBN: 9783540714095
Verlag: Springer Berlin
Erscheinung: 16.03.2007