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