Semantic Transform of Concurrence Lambek Calculus in Temporal Querying
返回论文页
|更新时间:2023-12-11
|
Semantic Transform of Concurrence Lambek Calculus in Temporal Querying
Acta Scientiarum Naturalium Universitatis SunYatseniVol. 48, Issue 1, Pages: 137-140(2009)
作者机构:
1. .中山大学计算机科学系,广东,广州,510275
2. .中山大学数学系,广东,广州,510275
作者简介:
基金信息:
DOI:
CLC:
Published:2009,
Published Online:25 January 2009,
扫 描 看 全 文
LIU Dongning, TANG Yong. Semantic Transform of Concurrence Lambek Calculus in Temporal Querying. [J]. Acta Scientiarum Naturalium Universitatis SunYatseni 48(1):137-140(2009)
DOI:
LIU Dongning, TANG Yong. Semantic Transform of Concurrence Lambek Calculus in Temporal Querying. [J]. Acta Scientiarum Naturalium Universitatis SunYatseni 48(1):137-140(2009)DOI:
Semantic Transform of Concurrence Lambek Calculus in Temporal Querying