查看会员资料
用 户 名：micha******
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
tempo-sat-tlp-gp
- SAT-TLP规划器是由ML这一通用的函数式编程语言开发出的最优化规划器，对于了解函数式语言在大型系统中的应用以及智能规划理论提供了很好的支持。-SAT-TLP planning is developed by ML generic functional programming language optimized planning, and provides good support for understanding the functional languages ̴