Nachiappan Veerappan Nachiappan
According to our database1,
Nachiappan Veerappan Nachiappan
authored at least 1 paper
in 2008.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
A System for Checking Semi-formal Proofs.
Proceedings of the 2008 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2008