您要查找的是不是:
- Isabelle工具Isabelle
- 工具instrument
- 交通工具vehicle
- Isabelle/HOL/IsarIsabelle/HOL/Isar
- 运输工具conveyance
- 绘图工具tracer
- Isabelle是一种用来构造交互式定理证明器的逻辑框架,由它构造的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.
- 电动工具electric tools
- 开发工具development tool
- 公共交通工具public transport means
- 辅助工具auxiliary means
- 诊断工具diagnostic tools
- 重置工具reset tool
- 小工具small tool
- 专用工具special purpose tools
- 通讯工具means of communication
- 管理工具management tool
- 涂抹工具dauber
- 五金工具hardware & tools
- 金融工具financial instruments