Annalisa Bossi

A. B. · A. Bossi

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers978-3-54O-67628-7
(3-54O-67628-7)
2008

Annalisa Bristot