AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:HyLaGI:混合约束语言HydLa的符号实现
Matsumoto Shota; Kono Fumihiko; Kobayashi Teruya; Ueda Kazunori;
机译:构建基于约束的空间数据库系统:模型,语言和实现
机译:一种符号间隔推理方法,用于约束满足:运动学应用程序的实现
机译:HydLa和HyLaGI混合系统的基于约束的建模和符号仿真
机译:在公共幼儿园中通过象征性语言实施和学习的一位老师的旅程:一个案例研究
机译:任务约束影响从近似数系统估计到符号数的映射
机译:混合约束语言HydLa的可伸缩性改进及其列表表示法和约束集的动态生成
机译:符号代数语言的基础和实现
机译:在计算机上实现符号词和同义词英语句子处理以提高用户自动化
机译:图形规范和约束语言,用于开发用于硬件实现和使用的程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。