automatic
| theorem
| proving
| program
| Automatic | |
| comp., MS | 予定表連動 |
| automatic | |
| gen. | 自動; 自働; 自動的; 自動式 |
| auto.ctrl. | 自動の |
| theorem | |
| gen. | 定理 |
| prove | |
| gen. | 証拠だてる; 証拠立てる; 証す; 証する; 挙証 |
| law | 立証する |
| programme | |
| gen. | メニュー; ムニュ; 曲目; 計画; 献立; 次第 |
| abbr. | 演目 |
| |||
| 自動 ichi1 news1 nf04 (ぢどう); 自働 ik; 自動式 (e.g. door, gun, etc.) | |||
| |||
| 自動の | |||
| 自動 (ぢどう) | |||
| |||
| 自動的 news1 nf08 | |||
| |||
| 予定表連動 (The name of a device profile that handles incoming calls by switching between the Normal profile and the Meeting profile when the calendar indicates that the current time is busy) | |||
| English thesaurus | |||
| |||
| combustion control | |||
