退出
我的积分:
中文文献批量获取
外文文献批量获取
胡广朋; 梁伟; 夏祖勋;
江苏科技大学计算机科学与工程学院,镇江,212003;
时态推理; 约束网络; 区间代数; INDU代数;
机译:代数代数,区间时间逻辑和区间点
机译:基于扩展艾伦区间代数的时间推理本体
机译:部分有序集上的区间的阶数:扩展艾伦的代数和区间图结果
机译:使用艾伦区间代数的大规模推理
机译:非简单C *代数的分类:分裂区间代数的归纳极限
机译:区间不确定性下的微分代数方程式简介:迈向广义不确定性DAE的第一步
机译:时间关系的推理:艾伦区间代数的可处理子代数
机译:高阶时态推理的区间逻辑
机译:使用区间代数查询语言发现错误的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。