搜索历史记录选项已关闭,请开启搜索历史记录选项。
作者: C. A. R. Hoare
DOI: 10.1145/366622.366647
关键词:
摘要:
discrete geometry for computer imagery,2014, 引用: 1
AISB/GI'78 Proceedings of the 1978 AISB/GI Conference on Artificial Intelligence,1978, 引用: 5
Combinatorial Pattern Matching,2013, 引用: 18
workshop on algorithms and computation,2015, 引用: 4
,1995, 引用: 22
european symposium on algorithms,2013, 引用: 5
verification model checking and abstract interpretation,2013, 引用: 52
international conference on information security and cryptology,2012, 引用: 103
Computer Science and Statistics: Proceedings of the 13th Symposium on the Interface,1981, 引用: 2
,1993, 引用: 10