Padmanabhan Krishnan. Providing Assistance for Proofs in the Teaching of Theory of Computation. In ICCE. pages 1083-1084, 2002.
@inproceedings{Krishnan02,
title = {Providing Assistance for Proofs in the Teaching of Theory of Computation},
author = {Padmanabhan Krishnan},
year = {2002},
tags = {teaching},
researchr = {https://researchr.org/publication/Krishnan02},
cites = {0},
citedby = {0},
pages = {1083-1084},
booktitle = {ICCE},
}