Showing 1 - 1 results of 1 for search 'Puebla, Germán', query time: 0.01s Refine Results
  1. 1
    Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
    by Puebla, Germán
    Published in Springer e-books (2007)
    Get full text
    eBook
Search Tools: Get RSS Feed