Paperback Book
Montrer les articles indisponibles

Communiqués par Maurizio Proietti

Cover for Maurizio Proietti · Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2015 edition] (2015)

Logic-Based Program Synthesis an... (2015)

Maurizio Proietti

Cover for Maurizio Proietti · Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science (Paperback Book) (1996)

Logic Program Synthesis and Tran... (1996)

Maurizio Proietti