查詢 text:Démonstration automatique de théorèmes. ，共 2 筆
-
131 0 0 0 0Automated deduction in geometry :4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
- 作者: Winkler, Franz,
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
4 0 0 0 0
Theory and applications of relational structures as knowledge instruments :COST Action 274, TARSKI : revised papers
- 作者: Swart, H. C. M. de.
- 出版: Berlin ;New York : Springer ©2003.
- 資料類型: 電子書