Ashish Tiwari
Original record- Institution
- State University of New York at Stony Brook
- Year
- 2000
- Country
- United States
- MGP identifier
- 159789
Dissertation: Decision Procedures in Automated Deduction
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Leo BachmairUniversity of Illinois at Urbana-Champaign · 1987
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Mahmut Ilerisoy | The University of Iowa | 2015 | 0 |