- 博客(1)
- 资源 (9)
- 收藏
- 关注
转载 what is first-order language
A language in which the quantifiers contain only variables ranging over individuals and the functions have as their arguments only individual variables or constants. In a second-order language the variables of the quantifiers may range over functions
2011-04-28 10:36:00 1153
Heterogeneous Computing with OpenCL 2nd Edition
2016-02-25
高级perl编程
2014-05-18
overview of supercompter2010
2011-04-07
django的入门教材
2009-10-27
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人