Nachiappan Veerappan Nachiappan

According to our database, Nachiappan Veerappan Nachiappan authored at least 1 paper in 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2008

A System for Checking Semi-formal Proofs.

Nachiappan Veerappan Nachiappan, Jarred Blount, J. Nelson Rushton

Proceedings of the 2008 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2008