共 50 条
AN ANALYSIS OF RAMSEY THEOREM
被引:4
|作者:
COQUAND, T
机构:
[1] CTH, Computer Science Department, Goteborg
关键词:
D O I:
10.1006/inco.1994.1034
中图分类号:
TP301 [理论、方法];
学科分类号:
081202 ;
摘要:
[No abstract available]
引用
收藏
页码:297 / 304
页数:8
相关论文