語系
King, Andy.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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:)
(書目-電子資源)