imperative programming; intensional programming;
机译:高阶功能语言和内涵逻辑
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:内涵式FOL,用于推理概率和概率逻辑程序
机译:一种型号吉普赛中混合强度势在量的变量绑定类型系统
机译:在GIPSY中使用JLucid,Objective Lucid和通用命令编译器框架进行混合内涵编程。
机译:一项集群随机混合III型试验测试一种实施支持策略以促进在VA无家可归者计划中使用循证实践
机译:使用通用内部编程系统(GIpsY)进行评估 高阶内涵逻辑(HOIL)表达式
机译:表格高阶逻辑编程