a computational logic for applicative common lisp (ACL2)

所属栏目：英汉云计算·物联网·大数据

推荐内容

• dining philosophers problem(DPP)
• standard RAID levels
• data profiling
• deep packet inspection(DPI)
• destination-sequenced distance vector routing(DSDV)
• encrypted file system(EFS)
• evolving defense mechanism(EDM)
• decision support system(DSS)
• finite-state machine
• database index

翻译

• 英汉汉英医学分科
• 汉英大辞典
• 汉英医学
• 汉英社会科学
• 中型英汉词典
• 汉英分类
• 英汉科技
• 英汉航海轮机
• 汉英航空发动机工程技术
• 英汉汉英电力工程技术
• 汉英汽车技术
• 英汉农业
• 英汉双向机电
• 汉英词典
• 英汉双向汽车
• 汉英经济实用
• 汉英流行病学
• 英汉大词典
• 英汉机电
• 英汉缩略语
• 英汉农学
• 英中医学
• 英汉双解
• 英汉汉英土木工程词汇
• 英汉汉英统计
• 英汉汉英文献信息
• 英汉双向金融
• 英汉汽车技术
• 英汉双向管理
• 英汉计算机技术
• 英汉双向船舶工程
• 世界人名翻译
• 英汉双向生物化学
• 英汉汉英灾害
• 中山英汉医学
• 汉英医疗卫生
• 汉英建筑工程
• 英汉双向商贸
• 英汉汉英制冷空调
• 汉英工业技术
• 汉英现代科学
• 英汉信息技术
• 英汉汉英电工
• 英汉双向精细化工
• 英汉航空航天缩略语
• 英汉词典
• 汉英法律分类
• 俄汉航空航天航海科技
• 汉英经济科学
• 俄汉军事缩略语
• 中国专名翻译
• 英汉双向体育
• 汉英农业分类
• 汉法经济综合词汇
• 汉英政治法律
• 英汉双向法律
• 英汉双向环境工程
• 英汉双向建筑
• 经贸英语缩略语三向速查
• 汉英广播电视
• 汉英计算机分类
• 英汉兽医
• 汉英中医
• 英汉化学化工
• 英汉百科知识
• 汉英新词新语
• 实用医学
• 英汉植物病理学
• 汉英文化教育
• 英汉电力技术
• 英汉经济实用
• 英汉双解莎士比亚
• 英汉双向医学
• 英汉保险
• 汉英经贸分类
• 汉英人类生活
• 汉字英释
• 英汉航空缩略语
• 汉英中外旅游
• 汉英医学分类
• 汉英外事实用
• 汉西实用经贸
• 英汉畜牧
• 英汉经济贸易
• 汉英核工程
• 英汉建筑工程
• 英汉医学缩略语
• 新法汉常用词
• 英汉医学药学卫生学略语
• 汉英口腔医学词汇
• 英汉给水排水
• 汉英双向难译词
• 汉英中国出口商品
• 英汉电子学
• 英汉汉英电力电子技术
• 英汉汉英金融保险
• 英汉汉英商品
• 英汉食品工业
• 英汉汉英饲料
• 英汉生物化学与分子医学
• 汉英成语
• 英汉医学
• 学生英汉双解
• 英汉-汉英心理学词汇
• 英汉社会科学
• 医学博士英语词汇
• 英汉农业缩略语
• 汉英英汉连续铸钢
• 英汉-汉英环境评价
• 汉英中国文化
• 汉英中国文学
• 汉英水电工程
• 英汉塑料工业
• 英汉汽车维修技术
• 英语汉英商务
• 汉英军事医学
• 珠宝首饰英汉-汉英
• 景汉辞典
• 英汉建筑装饰工程
• 学生汉英
• 英汉汉英物流
• 英汉汉英环境科学
• 汉英政治经济词汇
• 汉英制革和毛皮工业
• 英汉流行病学
• 英汉-汉英餐饮
• 橡胶轮胎生产管理英汉
• 汉英藏对照藏语人名地名
• 英语常用短语
• 英汉汉英出版印刷
• 实用英汉电信
• 汉英制糖技术
• 英汉戏剧
• 汉英生物化学
• 英汉汉英航空医学
• 英汉新编实用财经贸易
• 成语汉英例解
• 英汉空调暖通制冷技术
• 汉英法-英法汉-法英汉国际工程承包分类
• 英汉医学新词
• 英汉农业生物学
• 英汉汉英金融
• 汉英人生哲理描述
• 英汉双向旅游
• 白汉词典
• 英语常见问题解答
• 英汉农业机械工程
• 英汉畜牧科技
• 英汉土木建筑词汇
• 英汉细胞分子生物
• 英汉汽车技术缩略语
• 英汉人工智能
• 大学生实用英语
• 学生英汉图解
• 英汉汉英测绘专业词汇
• 英汉艺术新词
• 英语常用词用法详解
• 细菌名称英解汉译
• 英语习语
• 汉拉英中草药名称
• 会计辞典
• 大学英语多功能
• 汉拉英对照中药材
• 英汉新闻新词
• 英汉皮肤性病学
• 汉英中医学
• 法汉汉法专名
• 英汉印刷与包装词汇
• 实用英汉国际贸易
• 英汉·汉英印刷
• 法汉水利水电技术
• 英汉精算保险
• 学生英汉
• 英汉云计算·物联网·大数据
• 中外谚语(英汉对照)
• 英语习惯搭配
• 世界地名翻译
• 汉英英汉地球物质
• 英汉摄影缩略语
• 金融英汉
• 英汉社会学新词
• 英汉金属塑性加工
• 汉英中兽医
• 汉英英汉心电学名词
• 中韩成语
• 英汉国际金融贸易
• 汉泰简明速查
• 英汉造纸工业
• 佤汉词典
• 英汉法律词库
• 英语形容词用法
• 英汉汉英投资
• 汉英变压器技术
• 汉英医学常用词表达
• 英汉汽车缩略语
• 英汉会展新词
• 英汉对照国际医学规范术语
• 汉法餐饮美食
• 中医药名词术语英译
• 中外名言英汉对照
• 英汉解剖学
• 大学英汉
• 英汉军事词库
• 考研英语词汇
• 塔吉克汉词典
• 英汉商务新词库
• 俄汉汽车技术
• 汉英双解针灸
• 英法汉-汉英法统计
• 英汉环境科学
• 英汉药理学
• 英汉双解生物学
• 实用英汉国际金融
• 英汉烧结球团
• 英汉制鞋工业
• 英汉双解实用英语短语用法
• 汉苗湘西方言
• 高职高专英语学习
• 英语惯用法
• 英汉双解英语反义词
• 英汉详解
• 英汉美术名词技法
• 学生汉英成语
• 汽车英汉图文
• 英汉体育新词
• 英汉制革和毛皮工业
• 英汉双解化学
• 英汉信息新词
• 英语短语用法辨析
• 英语易混词语
• 英汉物流新词
• 英汉乳业术语
• 英语常用词详解
• 剑桥少儿英语
• 英汉双解生物技术与遗传工程
• 骨科英汉
• 英汉税收词汇
• 英汉双解无机化学
• 英语俚语
• 商务英语
• 英汉双解有机化学
• 英汉汉英采购与供应链管理
• 英语常见错误
• 英汉谚语
• 英汉皮肤病性病真菌病
• 英汉双解生物化学
• 汉英针灸
• 英汉双解细胞与分子生物学
• 汉英对照中国古代名言
• IEC61850术语及词汇英汉双解
• 外贸英语用法
• 实用英汉会计
• 英汉金融新词
• 英汉古生物学专业术语
• 英语分类词语
• 英语近形近音词
• 德语介词固定搭配用法
• 英汉神经病学
• 英语文学描写
• 英汉园艺学
• 圣经文学
• 英汉外科与妇产科临床综合征
• 矿物学专业术语
• 英汉期货和期权市场
• 闽南方言与古汉语同源
• 大学英语惯用法
• 英语拟声词
• 汉英神经内科
• 英语常用惯用法
• 英汉房地产
• 实用英汉保险
• 英汉人力资源管理核心词
• 英汉核电技术
• 英汉双解英语同义词
• 英文模范作文
• 英汉双解常用英语谚语
• 汉语水平考试词语详解辨析
• 世界英汉杂辑
• 东巴文实用规范
• 英汉双解国际保险监管
• 英·汉·意·法葡萄酿酒
• 英语常用短语动词用法辨异
• 初中英语应考短语
• 英文易混词
• 圣经语汇英汉对照
• 中外诗歌名句
• 水轮机与水泵专业英语
• 英语千家姓标准读音译名
• 实用汉英百科分类
• 工程流体力学英文
• 英语介词用法
• 语料库翻译学
• 古典诗词名句
• 日文交际语言学理论与方法
• 英汉翻译写作
• 中医英语翻译技巧
• 英语语音
• 发酵生物技术英语
• 文化景观的定性研究英文
• 英汉烟草科技
• 针灸对穴疗法
• 服装日语会话
• 英语翻译考证构词
• 英汉汉英散文翻译评析
• 合成革专业英语
• 制革专业英语
• 护理英语沟通技能
• 丝绸博物馆-汉英对照