海量资源，尽在掌握

当前位置：首页 > 英汉互译 > 英汉云计算·物联网·大数据 > 正文

a computational logic for applicative common lisp (ACL2)
信息科技

是由公共Lisp的程序语言、一套可扩展的一阶逻辑理论和一个机械化的定理证明工具所组成的软件系统。......（本文共 52 字） [阅读本文] >>

开通会员，享受整站包年服务立即开通 >

推荐内容

英汉翻译

汉英分类英汉科技英汉航海轮机汉英航空发动机工程技术英汉汉英电力工程技术汉英汽车技术英汉农业英汉双向机电汉英词典英汉双向汽车汉英经济实用汉英流行病学英汉大词典英汉机电英汉缩略语英汉农学英中医学英汉双解英汉汉英土木工程词汇英汉汉英统计英汉汉英文献信息英汉双向金融英汉汽车技术英汉双向管理英汉计算机技术英汉双向船舶工程世界人名翻译英汉双向生物化学英汉汉英灾害中山英汉医学汉英医疗卫生汉英建筑工程英汉双向商贸英汉汉英制冷空调汉英工业技术汉英现代科学英汉信息技术英汉汉英电工英汉双向精细化工英汉航空航天缩略语英汉词典汉英法律分类俄汉航空航天航海科技汉英经济科学俄汉军事缩略语中国专名翻译英汉双向体育汉英农业分类汉法经济综合词汇汉英政治法律英汉双向法律英汉双向环境工程