查詢 text:Automatic theorem proving. ,共 4 筆
查詢再細分
-
- 語言
- 英語(4)
-
- 作者
- Basin, David.(2)
- Asperti, Andrea.(1)
- Bancerek, Grzegorz.(1)
- Bundy, Alan.(1)
- Hutter, Dieter.(1)
- Ireland, Andrew.(1)
- Rusinowitsch, Michaël.(1)
- Trybulec, Andrzej.(1)
- Winkler, Franz,(1)
-
- 資料類型
- 電子書(4)
-
7 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.
- 資料類型: 電子書
-
7 0 0 0 0
Rippling :meta-level guidance for mathematical reasoning
- 作者: Bundy, Alan.
- 出版: Cambridge, UK ;New York : Cambridge University Press 2005.
- 資料類型: 電子書
-
131 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.
- 資料類型: 電子書