共 50 条
Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface
被引:0
|作者:
Kohlenbach, Ulrich
[1
]
机构:
[1] Darmstadt, Germany
来源:
关键词:
D O I:
10.4204/EPTCS.213
中图分类号:
学科分类号:
摘要:
引用
收藏
相关论文