查詢 sb:"Computational logic" ,共 4 筆
查詢再細分
-
- 語言
- 英語(4)
-
- 作者
- Baier, Christel,(1)
- Basin, David.(1)
- Bruynooghe, M.(1)
- Harel, David,(1)
- Haverkort, Boudewijn R,(1)
- Hermanns, Holger,(1)
- Kozen, Dexter,(1)
- Lau, K.-K.(1)
- Rusinowitsch, Michaël.(1)
- Tiuryn, Jerzy.(1)
-
- 資料類型
- 電子書(4)
-
- 主題
- Computer logic.(4)
- Logique informatique.(3)
- COMPUTERS(2)
- MATHEMATICS(2)
- Analyse stochastique.(1)
- Automatic theorem proving(1)
- Automatic theorem proving.(1)
- Computational logic(1)
- Computer Literacy.(1)
- Computer Science.(1)
- More
-
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.
- 資料類型: 電子書
-
9 0 0 0 0
Program development in computational logic :a decade of research advances in logic-based program development
- 作者: Bruynooghe, M.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
-
5 0 0 0 0
Validations of Stochastic Systems: A Guide to Current Research.
- 作者: Baier, Christel,
- 出版:
- 資料類型: 電子書