退出
我的积分:
中文文献批量获取
外文文献批量获取
李玉宏; 吴立明; 竺建军;
中国电子学会中华医学会;
程序设计; 树(数学); 人工智能; 推理; 数据库;
机译:基于IPC的Prolog设计模式,用于将反向链接推理集成到应用程序或嵌入式系统中
机译:关系数据库中存储的大量本体的推理:OntoMinD方法
机译:lambdaProlog(QS):高阶逻辑编程中的功能空间推理(简短论文)
机译:Qu-Prolog:具有高级推理功能的座席的一种实现语言
机译:在关系数据库中的行,列和单元级安全性的数据可访问性与推理控制之间进行权衡分析。
机译:因果推理中基于倾向得分的方法与基于MTE的方法:识别估计和应用*
机译:在SICStus Prolog中实现基于案例的推理
机译:prolog技术定理证明:由扩展的prolog编译器实现。
机译:TICKTOC WORLWIDE软件应用程序功能:•TICKTOC WORLDWIDE将使用集成在TICKTOC驱动程序和乘客应用程序中的独特扫描和条形码功能,从而实现无现金交易。在TICKTOC WORLDWIDE注册时,乘客将收到条形码。驱动程序应用程序将具有条形码阅读器。 •集成在乘客应用程序中的“稍后预订”功能允许乘客进行时间预订。 •旅客应用程序允许需要出租车或租车服务的客户根据特定客户需求预订出租车或租车。
机译:关系数据库中光标功能的实现方法
机译:在关系数据库中支持多模态数据的推理推理的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。