Languages
King, Andy.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic-based program synthesis and transformation = 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /
by:
SpringerLink (Online service); King, Andy.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)