Failure-directed reformulation
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science; and, Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Abschlussarbeit |
| Sprache: | eng |
| Veröffentlicht: |
Massachusetts Institute of Technology
2009
|
| Schlagworte: | |
| Online Zugang: | http://hdl.handle.net/1721.1/46197 |