CORRECTNESS PROOFS FOR ABSTRACT IMPLEMENTATIONS

被引:1
|
作者
BERNOT, G
机构
关键词
D O I
10.1016/0890-5401(89)90016-3
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:121 / 151
页数:31
相关论文
共 50 条