...
机译:将有限域和集合约束集成到基于集合的约束语言中
Dipartimento di Matematica Universita degli Studi di Parma Viale G. P. Usberti 53, 43100 Parma, Italy;
Dipartimento di Matematica Universita degli Studi di Parma Viale G. P. Usberti 53, 43100 Parma, Italy;
Dipartimento di Matematica, Universita degli Studi di Parma, Viale G. P. Usberti 53, 43100 Parma, Italy;
finite domain constraints; set constraints; hereditarily finite sets;
机译:关于基准约束逻辑编程平台。回应费尔南德斯和希尔的“布尔和有限域上的八种约束编程语言的比较研究”
机译:有限域上具有多项式约束的约束逻辑程序设计
机译:具有状态和致动约束的受扰动分段仿射系统的基于控制的控制
机译:将有限域约束和CLP与集合集成
机译:用于不确定性的设计约束的谓词逻辑表示,支持基于集合的设计范例
机译:可以通过实施例的约束来设定语言思维影响的限制
机译:集合约束和基于集合的分析