查詢 text:Automatic theorem proving Congresses. ,共 3 筆
查詢再細分
-
- 出版年
- 2004(3)
-
- 語言
- 英語(3)
-
- 作者
- Asperti, Andrea.(1)
- Bancerek, Grzegorz.(1)
- Basin, David.(1)
- Rusinowitsch, Michaël.(1)
- Trybulec, Andrzej.(1)
- Winkler, Franz,(1)
-
- 資料類型
- 電子書(3)
-
6 0 0 0 0
Automated reasoning :second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
- 作者: Basin, David.
- 出版: Berlin ;New York : Springer 2004.
- 資料類型: 電子書
-
130 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.
- 資料類型: 電子書
-
5 0 0 0 0
Mathematical knowledge management :third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings
- 作者: Asperti, Andrea.
- 出版: Berlin ;New York : Springer 2004.
- 資料類型: 電子書