查詢 au:Bruynooghe, M. ，共 2 筆
查詢再細分
-
- 出版年
- 2004(2)
-
- 語言
- 英語(2)
-
- 作者
- Bruynooghe, M.(2)
- Lau, K.-K.(1)
-
- 資料類型
- 電子書(2)
-
9 0 0 0 0Logic based program synthesis and transformation :13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
- 作者: Bruynooghe, M.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
10 0 0 0 0
Program development in computational logic :a decade of research advances in logic-based program development
- 作者: Bruynooghe, M.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書