查詢 text:Calcul formel. ，共 2 筆
查詢再細分
-
- 語言
- 英語(2)
-
- 作者
- Giunchiglia, Enrico.(1)
- Guin, Dominique.(1)
- Ruthven, Kenneth,(1)
- Tacchella, Armando.(1)
- Trouche, Luc.(1)
-
- 資料類型
- 電子書(2)
-
- 主題
- Algorithme.(1)
- Algorithmes(1)
- Boolesche Formel(1)
- Calcul des propositions.(1)
- Calcul formel.(1)
- Calcul propositionnel(1)
- Calculators.(1)
- Calculatrice programmable.(1)
- Calculatrices.(1)
- Computer algorithms(1)
-
184 0 0 0 0The didactical challenge of symbolic calculators :turning a computational device into a mathematical instrument
- 作者: Guin, Dominique.
- 出版: New York : Springer ©2005.
- 資料類型: 電子書
-
15 0 0 0 0Theory and applications of satisfiability testing :6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
- 作者: Giunchiglia, Enrico.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書