Pages using the term: Logic

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