查詢 au:Rusinowitsch, Michaël. ，共 1 筆
查詢再細分
-
- 出版年
- 2004(1)
-
- 語言
- 英語(1)
-
- 作者
- Basin, David.(1)
- Rusinowitsch, Michaël.(1)
-
- 資料類型
- 電子書(1)
-
- 主題
- Automatic theorem proving(1)
- Automatic theorem proving.(1)
- Computer logic(1)
- Computer logic.(1)
- Infinity.(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.
- 資料類型: 電子書