bib.howest.be Zoekresultaten

U zocht naar: Auteur Seki, Hirohisa Type e-book

1 Item gevonden

1. Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Auteur:: Proietti; Seki, Hirohisa
Uitgever:: Springer International Publishing 2015
Type:: e-book