| 单词 |
term rewriting system |
| 释义 |
DictionarySeerewritingterm rewriting system
term rewriting system(TRS) A collection of rewrite rules used to transform terms(expressions, strings in some formal language) into equivalentterms. See reduction.AcronymsSeetotal return swap |
| 随便看 |
- november 15, 2019
- november 15, 2020
- november 15, 2021
- november 15, 2022
- november 15, 2023
- november 15th
- november 16
- november 16, 2011
- november 16, 2012
- november 16, 2013
- november 16, 2014
- november 16, 2015
- november 16, 2016
- november 16, 2017
- november 16, 2018
- november 16, 2019
- november 16, 2020
- november 16, 2021
- november 16, 2022
- november 16, 2023
- november 16th
- november 17
- november 17, 2011
- november 17, 2012
- november 17, 2013
|