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