TY - JOUR
T1 - Using Isabelle/HOL to Verify First-Order Relativity Theory
JO - Journal of Automated Reasoning
UR - http://eprints.whiterose.ac.uk/76527/
PY - 2014/04/01
AU - Stannett MP
AU - N茅meti I
ED -
DO - DOI: 10.1007/s10817-013-9292-7
PB - Springer
VL - 52
IS - 4
SP - 361
EP - 378
Y2 - 2025/05/18
ER -