机译:协作演绎数据库系统的框架
机译:直推式传感器系统的系统描述:系统分解的概念框架,作为最佳传感器系统设计的基础
机译:Simsdairy:确定英国可持续奶牛场的建模框架。有机系统和氮肥优化的框架描述和测试
机译:系统描述:推迟系统的二维逻辑框架
机译:从授权到使用家庭监控系统的持续健康行为:信息和通信技术(ICT)的演绎理论模型
机译:V-Alert:在智能城市框架中描述和验证易受伤害的道路用户警报系统
机译:系统描述:Twelf - 演绎系统的元逻辑框架
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行