查詢 au:Basin, David. ，共 2 筆
查詢再細分
-
- 語言
- 英語(2)
-
- 作者
- Basin, David.(2)
- Bundy, Alan.(1)
- Hutter, Dieter.(1)
- Ireland, Andrew.(1)
- Rusinowitsch, Michaël.(1)
-
- 資料類型
- 電子書(2)
-
- 主題
- Automatic theorem proving.(2)
- Automatic theorem proving(1)
- COMPUTERS(1)
- Computer logic(1)
- Computer logic.(1)
- Expert Systems.(1)
- Infinity.(1)
- Logic, Symbolic and mathematical.(1)
- Logic.(1)
- MATHEMATICS(1)
-
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
Rippling :meta-level guidance for mathematical reasoning
- 作者: Bundy, Alan.
- 出版: Cambridge, UK ;New York : Cambridge University Press 2005.
- 資料類型: 電子書