未找到相关数据
THE LOGIC OF AUTOMATA .2.
被引：12
作者：
BURKS, AW
WANG, H
机构：
关键词：
D O I：
10.1145/320881.320885
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：279 / 297
页数：19
相关论文