Journal of Automated Reasoning. 2014;52(4):361-378. doi: 10.1007/s10817-013-9292-7 Q40.72025

Using Isabelle/HOL to Verify First-Order Relativity Theory

使用Isabelle/HOL验证一阶相对论理论

DOI: 10.1007/s10817-013-9292-7

摘要 查看摘要

Copyright © Journal of Automated Reasoning. 中文内容为AI机器翻译，仅供参考！