| 单词 |
language for the on-line investigation and transformation of abstract. |
| 释义 |
Language for the On-Line Investigation and Transformation of Abstract. Language for the On-Line Investigation and Transformation of Abstract. (language)(LOLITA) An extension of the Culler-Fried Systemfor symbolic mathematics.
["An On- line Symbol Manipulation System", F.W. Blackwell, ProcACM 22nd Natl Conf, 1967].
[Sammet 1969, p. 464]. |
| 随便看 |
- july 23, 2015
- july 23, 2016
- july 23, 2017
- july 23, 2018
- july 23, 2019
- july 23, 2020
- july 23, 2021
- july 23, 2022
- july 23, 2023
- july 23rd
- july 24
- july 24, 2011
- july 24, 2012
- july 24, 2013
- july 24, 2014
- july 24, 2015
- july 24, 2016
- july 24, 2017
- july 24, 2018
- july 24, 2019
- july 24, 2020
- july 24, 2021
- july 24, 2022
- july 24, 2023
- july 24th
|