Pages using the term: Logic

Lastsort ascending First Title Office Department Email Phone
Veith Helmut Adjunct Professor 4117 Wean Hall Computer Science Department veith@andrew.cmu.edu (412) 268-3789
Platzer Andre Assistant Professor 9103 Gates and Hillman Centers Computer Science Department, Robotics Institute aplatzer@cs.cmu.edu (412) 268-1558
Pfenning Frank Department Head; Professor 7019 Gates and Hillman Centers SCS Dean's Office, Computer Science Department fp@cs.cmu.edu (412) 268-6343
Crary Karl Associate Professor 9217 Gates and Hillman Centers Computer Science Department crary@cs.cmu.edu (412) 268-7687
Bryant Randal University Professor 9125 Gates and Hillman Centers Computer Science Department bryant@cs.cmu.edu (412) 268-8821
Subscribe to Pages using the term: <i>Logic</i>