Repository | Directory | Profile

155167

Naveen Sundar Govindarajalulu

Bibliography 1

Articles

X

Proof verification and proof discovery for relativity

2015

Naveen Sundar GovindarajaluluSelmer Bringsjord

Synthese 192/7

Open Access Link