Jose L. Cordova. Mathematical proofs as graph search problems in theory courses. In Jane Prey, Robert E. Noonan, editors, Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999, New Orleans, Louisiana, USA, March 14-28, 1999. pages 110-113, ACM, 1999. [doi]
No references recorded for this publication.
No citations of this publication recorded.