Výsledky vyhledávání - Andy King
- Zobrazuji výsledky 1 - 1 z 1
-
Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / Autor Andy King
Vydáno 2008, c2008Signatura: Načítá se…Ver documento en línea
Umístění: Načítá se…
KnihaSamostatný záznam