查詢 text:Logic programming Congresses. ，共 9 筆
-
6 0 0 0 0Logic 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
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.
- 資料類型: 電子書
-
5 0 0 0 0
Recent advances in constraints :Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003 : selected papers
- 作者: Apt, Krzysztof R.,
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
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.
- 資料類型: 電子書
-
6 0 0 0 0
Functional and logic programming :7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings
- 作者: Kameyama, Yukiyoshi.
- 出版: Berlin ;New York : Springer 2004.
- 資料類型: 電子書
-
3 0 0 0 0
Static analysis :11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
- 作者: Giacobazzi, Roberto.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
9 0 0 0 0
Fuzzy systems and data mining v[electronic resource]
- 作者: Tallón-Ballesteros, Antonio J.
- 出版: Amsterdam : IOS Press 2019.
- 資料類型: 電子書
-
10 0 0 0 0
MICAI 2004 :advances in artificial intelligence : Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004 : proceedings
- 作者: Monroy, Raúl.
- 出版: Berlin ;Hong Kong : Springer-Verlag ©2004.
- 資料類型: 電子書