Naveen Sundar Govindarajalulu
Biographic Data
| ID | 5997049 |
|---|---|
| NAME | Naveen Sundar Govindarajalulu |
| GIVEN NAMES | Naveen Sundar |
| FAMILY NAME | Govindarajalulu |
| SIGNATURE | GOVINDARAJALULU N S |
| AFFILIATIONS | Rensselaer Polytechnic Institute |
| VERIFIED | No |
| TOTAL WORKS | 1 |
| TOTAL CITATIONS | 0 |
| WORKS AS AUTHOR | 1 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 2015 |
| LATEST PUBLICATION YEAR | 2015 |
| H-INDEX | 0 |
No prominent works on this page.
Automated theorem proving (1 work) · Biomedical Text Mining and Ontologies (1 work) · Calculus (dental) (1 work) · Computer Science (1 work) · Computer-assisted proof (1 work) · Decidability (1 work) · Epistemology (1 work) · First-order logic (1 work) · Formal proof (1 work) · Formal science (1 work)