 |
|
||||||||||||||||||
 |
 |
 |
 |
 |
 |
 |
 |
|
|||||||||||
|
|
||||||||||||||||||
|
|
||||||||||||||||||
|
|
||||||||||||||||||
Leo Bachmair
| Contact Info |
Professor, Computer Science Department 1422 Computer Science Stony Brook University Stony Brook, NY 11794-4400 (631)632-8452 |
|
| Research Topics | Computational logic, automated deduction, symbolic computation | |
| Teaching Summary | CSE 213, CSE 541 | |
| Detailed Information | http://www.cs.sunysb.edu/people/faculty/LeoBachmairAB.html | |
| Home Page | http://www.cs.sunysb.edu/~leo | |
