在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
cooperations constraint » cooperations constrained, operations constraint, cooperatives constraints
programming recursion » programming decision, programming session, programming decisions
recursion arrays » recursion versus
arrays a » arrays _
cooperations constraint » cooperations constrained, operations constraint, cooperatives constraints
programming recursion » programming decision, programming session, programming decisions
recursion arrays » recursion versus
arrays a » arrays _
1
出版 2008
书本目录:
“... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”获取全文
电子
电子书
2
出版 2007
书本目录:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”获取全文
电子
电子书