Journal of the ACM （JOLACM） - Issue 187 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 187 |
| 发布时间： |
| 卷期年份： 1998 |
| 卷期官网： |
本期论文列表
Property Testing and its Connection to Learning and Approximation.
Formal Verification of Complex Coherence Protocols Using Symbolic State Models.
A Threshold of ln
On the Decidability and Axiomatization of Query Finiteness in Deductive Databases.