Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
in English
Proof verification and proof discovery for relativity
2015
Naveen Sundar GovindarajaluluSelmer Bringsjord
Synthese 192/7
