查詢 text:Computer logic Congresses. ，共 21 筆
查詢再細分
-
- 語言
- 英語(21)
-
- 作者
- LINK (Online service)(2)
- Lifschitz, Vladimir.(2)
- Abe, Jair Minoro.(1)
- Apt, Krzysztof R.,(1)
- Basin, David.(1)
- Bazzan, Ana L. C.(1)
- Berghammer, R.(1)
- Bruynooghe, M.(1)
- CoLogNET.(1)
- Delugach, Harry S.,(1)
-
- 資料類型
- 電子書(21)
-
7 0 0 0 0Automated reasoning :second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
- 作者: Basin, David.
- 出版: Berlin ;New York : Springer 2004.
- 資料類型: 電子書
-
7 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.
- 資料類型: 電子書
-
3 0 0 0 0
Deontic logic in computer science :7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
- 作者: Lomuscio, Alessio.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
87 0 0 0 0
Advances in logic, artificial intelligence, and robotics :LAPTEC 2002
- 作者: Abe, Jair Minoro.
- 出版: Amsterdam ;Washington, DC : IOS Press/Ohmsha 2002.
- 資料類型: 電子書
-
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.
- 資料類型: 電子書
-
8 0 0 0 0
Conceptual structures at work :12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 : proceedings
- 作者: Wolff, Karl Erich.
- 出版: Berlin : Springer 2004.
- 資料類型: 電子書
-
35 0 0 0 0
Concept lattices :Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings
- 作者: Eklund, Peter W.,
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
6 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.
- 資料類型: 電子書
-
28 0 0 0 0
Membrane computing :International Workshop, WMC 2003 : Tarragona, Spain, July 17-22, 2003 : revised papers
- 作者: Martín Vide, Carlos.
- 出版: Berlin ;Hong Kong : Springer-Verlag ©2004.
- 資料類型: 電子書