Automated reasoning about classical mechanics
Author(s)
Wong, Leon Chih Wen
DownloadFull printable version (5.113Mb)
Advisor
Howard E. Shrobe.
Terms of use
Metadata
Show full item recordDescription
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994. Includes bibliographical references (p. 105-107).
Date issued
1994Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer SciencePublisher
Massachusetts Institute of Technology
Keywords
Electrical Engineering and Computer Science