Frank Pfenning

Frank Pfenning is a German-American professor of computer science, adjunct professor in philosophy, and was head of the Computer Science Department at Carnegie Mellon University from 2013 to 2018. Provided by Wikipedia
1
Cover Image
Published 2007
Other Authors: '; “...Pfenning, Frank....”
Get full text
2
Cover Image
Published 2013
Other Authors: '; “...Pfenning, Frank....”
Get full text
Search Tools: Get RSS Feed — Email this Search

Related Subjects

Computer logic Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical logic Software Engineering Software engineering Artificial Intelligence Artificial intelligence Computation by Abstract Devices Computers Programming Languages, Compilers, Interpreters Programming languages (Electronic computers)