|
|
| 21. | assertiveness n. |
| 断言；独断 |
|
|
| | |
| 22. | assertion checker |
| 断言检查程序 |
|
|
| | |
| 23. | output assertion |
| 输出断言 |
|
|
| | |
| 24. | inductive assertion |
| 归纳断言 |
|
|
| | |
| 25. | local assertion |
| 局部断言 |
|
|
| | |
| 26. | assertion statement |
| 断言语句 |
|
|
| | |
| 27. | assertion element |
| 断言元素 |
|
|
| | |
| 28. | data base of assertion |
| 断言数据库 |
|
|
| | |
| 29. | Assertions (&C) |
| 断言(&C) |
|
|
| | |
| 30. | predicative set |
| 断言集 |
|
|
| | |