[Unified-mailman] CP: short Inductive proof handout
Kristina Lundqvist
kristina at MIT.EDU
Mon May 17 19:57:06 EDT 2004
---
I. Kristina Lundqvist, Ph.D.
Charles S. Draper Assistant Professor of Aeronautics and Astronautics
Massachusetts Institute of Technology
77 Massachusetts Avenue, 33-406
Cambridge, MA 02139
phone: +1 617-452-2550 fax: +1 617-253-7397
kristina at mit.edu
http://www.mit.edu/~kristina
http://esl.mit.edu/index.html
-------------- next part --------------
A non-text attachment was scrubbed...
Name: inductive proof examples.doc
Type: application/msword
Size: 23040 bytes
Desc: not available
Url : http://mailman.mit.edu/pipermail/unified-mailman/attachments/20040517/72f3cfd1/attachment.doc
More information about the Unified-mailman
mailing list