Contributions to algorithmic techniques in automated reasoning about physical systems
- Responsibility
- Satish Kumar Thittamaranahalli (alias T. K. Satish Kumar).
- Imprint
- 2005.
- Physical description
- xxi, 313 p.
Online
Available online
- Search ProQuest Dissertations & Theses. Not all titles available.
At the library
SAL3 (off-campus storage)
Stacks
Request (opens in new tab)
| Call number | Note | Status |
|---|---|---|
| 3781 2005 T |
Special Collections
On-site access
Collections are moving, which may affect access. Request materials as early as possible. Maximum 5 items per day. Contact specialcollections@stanford.edu for information about access.
| Call number | Note | Status |
|---|---|---|
| 3781 2005 T |
More options
Description
Creators/Contributors
- Author/Creator
- Thittamaranahalli, Satish Kumar.
- Contributor
- Fikes, Richard E., primary advisor
- Satish Kumar, T. K.
- Stanford University. Computer Science Department.
Bibliographic information
- Publication date
- 2005
- Note
- Submitted to the Department of Computer Science.
- Copyright by the author.
- Note
- Ph. D. Stanford University 2005
Browse related items
Start at call number:
