查詢 text:Logic programming ，共 44 筆
查詢再細分
-
- 語言
- 英語(44)
-
- 作者
- Gaddis, Tony.(4)
- Bruynooghe, M.(2)
- Gabbay, Dov M.,(2)
- Lifschitz, Vladimir.(2)
- Abramsky, Samson,(1)
- Apt, Krzysztof R.,(1)
- Azevedo, Francisco.(1)
- Backhouse, Roland C.,(1)
- Bainbridge, William Sims.(1)
- Baral, Chitta.(1)
- More
-
- 館別
- 總圖(11)
-
35 0 0 0 0Logic for concurrency and synchronisation
- 作者: Queiroz, Ruy J. G. B. de,
- 出版: Dordrecht ;Boston : Kluwer Academic Publishers ©2003.
- 資料類型: 電子書
-
6 0 0 0 0
Logic programming :19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings
- 作者: Palamidessi, Catuscia.
- 出版: Berlin ;New York : Springer ©2003.
- 資料類型: 電子書
-
9 0 0 0 0
Logic 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
Handbook of logic in artificial intelligence and logic programming.Volume 5,Logic programming
- 作者: Gabbay, Dov M.,
- 出版: Oxford :Oxford ;New York : Clarendon Press ;Oxford University Press 1998.
- 資料類型: 電子書
-
10 0 0 0 0
Logic programming and nonmonotonic reasoning :7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
- 作者: Lifschitz, Vladimir.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
11 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.
- 資料類型: 電子書
-
12 0 0 0 0
Advanced ASIC chip synthesis :using Synopsys Design Compiler, Physical Compiler, and PrimeTime
- 作者: Bhatnagar, Himanshu.
- 出版: Boston : Kluwer Academic Publishers ©2002.
- 資料類型: 電子書
-
12 0 0 0 0
Logic programming :20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings
- 作者: Demoen, Bart.
- 出版: Berlin ;New York : Springer 2004.
- 資料類型: 電子書
-
129 0 0 0 0
Users' guide to Logic Audio 5
- 作者: Bennett, Stephen,
- 出版: Cincinnati, Ohio : Muska & Lipman Pub. ©2002.
- 資料類型: 電子書
-
10 0 0 0 0
The nonlinear workbook :chaos, fractals, cellular automata, neural networks, genetic algorithms, fuzzy logic : with C++, Java, SymbolicC++ and Reduce programs
- 作者: Steeb, W.-H.
- 出版: Singapore ;River Edge, N.J. : World Scientific 2001, ©1999.
- 資料類型: 電子書