更新时间:2022-03-29 13:15
空间逻辑(spatial logics)是2018年公布的计算机科学技术名词。出自《计算机科学技术名词 》第三版。
对空间位置进行推理的一类模态逻辑。
《计算机科学技术名词 》第三版。