机译:试图形式化状态空间中的启发式概念
机译:通过引入功能性同性量词的概念,开发Metalogic以将系统中的系统的本体论纠纷正式化
机译:超越“空”形式的形式化:重新尝试中国西南地区森林所有权的公信力
机译:在白鲈鲸鲸南部南部牧群的观察结果数值形式化的尝试(Delphinapterus Leucas)
机译:将生化网络的浓度稳健性概念形式化
机译:在非紧凑空间中的阴影性质的各种概念
机译:对Cohen和Nissim的更正旨在正式确定GDPR的单挑概念
机译:基本地理概念的数学形式化:从时空问题到地球系统基本地理概念的数学形式化。从时空问题到地球系统