请输入您要查询的词汇:
词汇
axiomatic semantics
释义
axiomatic semantics
公理语义学
语义形式化的一种方法,用来证明程式的正确性。
随便看
arresting
arrestive
arrestment
arrestor
arrhizal
arrhythmia
arrhythmic
arrhythmically
arriere-ban
arriere-pensee
arrierepensee
arris
arrival
arrival bill
arrival contract
arrival draft
arrival notice
arrival quality terms
arrival quantity terms
arrival ship
arrival terms
arrival weight terms
arrive
arrive at
arrived ship
语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号
更新时间:2024/11/5 21:40:40