查詢 Logic, Symbolic AND mathematical Congresses. ，共 3 筆
-
36 0 0 0 0Concept 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.
- 資料類型: 電子書
-
90 0 0 0 0
Advances in logic, artificial intelligence, and robotics :LAPTEC 2002
- 作者: Abe, Jair Minoro.
- 出版: Amsterdam ;Washington, DC : IOS Press/Ohmsha 2002.
- 資料類型: 電子書
-
132 0 0 0 0
Automated deduction in geometry :4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
- 作者: Winkler, Franz,
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書