Gopalan Nadathur

E1455292 UNEXPLORED

Gopalan Nadathur is a computer scientist known for his work in logic programming and theorem proving, including contributions to systems like Abella.

All labels observed (1)

Label Occurrences
Gopalan Nadathur canonical 1

How this entity was disambiguated

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Abella developedBy Gopalan Nadathur