Automated Theorem Prover
英文简称 : ATM
中文全称 : 自动定理证明器
所属分类 : 无
词条简介 : 无
其他解释
- ATM : Automated Teller Machine 自动取款（出纳）机
- ATM : Asynchronous Transfer Mode (broadband switching and transmission technology) 异步传输模式(宽带交换和传输技术)
- ATM : Atmosphere 大气压
- ATM : Asynchronous Transfer Mode 异步传输模式
- ATM : At The Moment 现在
- ATM : Association of Teachers of Mathematics 数学教师协会[英]
- ATM : Air Traffic Management 空中交通管理
