Computer programming; Input; Output; Semantics; Set theory; Syntax; Computer logic;
机译:具有活动性保证的功能性反应式编程由于关系与设置值的函数有关,因此事件源与行为有关
机译:模糊逻辑与功能逻辑资源相结合的混合编程方案
机译:用于函数逻辑编程的单数和复数函数
机译:功能语言和逻辑语言的统一-面向约束功能程序设计
机译:关于集值函数:多元风险度量和Aumann积分。
机译:是否存在维持神经元功能完整性和生存的分子逻辑?:脂质信号传导对于神经保护性神经元转录程序是必需的。
机译:扩展的统一算法,用于将功能编程集成到逻辑编程中