Author Search Results

1

Cover Image

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /

Published 2009

Other Authors: '; “...Hanus, Michael....”
Get full text

Electronic

2

Cover Image

Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, W<U+00fc>rzburg, German...

Published 2009

Other Authors: '; “...Hanus, Michael....”
Get full text

Electronic