×

兹马思-数学第一资源

基于广义代数数据类型的函数反应式规划动态优化。(英语) Zbl 1302.68189
2005年9月26日至28日在爱沙尼亚塔林举行的第10届ACM SIGPLAN函数式编程国际会议论文集。纽约,纽约:计算机机械协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN通告40,第9号,54-65(2005年)。

理学硕士:
68问65 抽象数据类型;代数规范
68N18 函数规划与lambda演算
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接