[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