您要查找的是不是:
- Isabelle工具Isabelle
- 工具instrument
- 交通工具vehicle
- Isabelle/HOL/IsarIsabelle/HOL/Isar
- 運輸工具conveyance
- 繪圖工具tracer
- Isabelle是一種用來(lái)構造交互式定理證明器的邏輯框架,由它構造的Isabelle/HOL是一種功能完備的定理證明系統。Isabelle is a logic framework used to construct theorem provers. Isabelle/HOL, which came from Isabelle, is a theorem prover with mature functions.
- 電動(dòng)工具electric tools
- 開(kāi)發(fā)工具development tool
- 公共交通工具public transport means
- 輔助工具auxiliary means
- 診斷工具diagnostic tools
- 重置工具reset tool
- 小工具small tool
- 專(zhuān)用工具special purpose tools
- 通訊工具means of communication
- 管理工具management tool
- 涂抹工具dauber
- 五金工具hardware & tools
- 金融工具financial instruments