A Machine-Checked Proof of the Odd Order Theorem 论文
2013Lecture notes in computer science引用 275
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeMathematics, Computing, and Information Processing
详细信息
- 发表期刊/会议
- Lecture notes in computer science
- 发表日期
- 2013-01-01
- 发表年份
- 2013
关键词
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeMathematics, Computing, and Information Processing