王浩 Dominoes和AEA案例的决策问题。 (英语) Zbl 0137.01001号 程序。症状。数学。西奥。Automata,纽约1962年,23-55(1963年)。 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于29文件 关键词:数学逻辑 PDF格式BibTeX公司 XML格式