Finite Model Theory and Its Applications

被引：0
|
作者：
Atserias, Albert [1 ]
机构：
[1] Univ Politecn Cataluna, Barcelona, Spain
来源：
COMPUTER SCIENCE REVIEW | 2008年 / 2卷 / 01期
关键词：
D O I：
10.1016/j.cosrev.2008.01.001
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
下载
收藏
页码：55 / 59
页数：5
相关论文
共 50 条
12345