|
Middle East Technical University
|
|
Automated Reasoning |
| Faculty Members and Units interested in Automated Reasoning : |
|
FERDA NUR ALPASLAN (CİVELEK) Faculty of Engineering - Department of Computer Engineering |
|
Department of Computer Engineering Faculty of Engineering - Department of Computer Engineering |
www.metu.edu.tr
METU Research Coordination and Industrial Liaison Office
research@metu.edu.tr
for your comments and questions for Areas of Interest
ia 0.82m
25.05.2009 17:17
rcilo 1998-2008
En (since April 17,2007)