Skip recommendations

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
Showing 1 - 3 results of 3 for search 'Pfenning, Frank', query time: 0.01s Refine Results
Search Tools: Suscríbete a esta búsqueda
  1. 1
    Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings /
    Published 2013
    Other Authors: “…Pfenning, Frank…”
    Texto Completo
    Electronic eBook
  2. 2
    Automated Deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings /
    Published 2007
    Other Authors: “…Pfenning, Frank…”
    Texto Completo
    Electronic eBook
  3. 3
    Term Rewriting and Applications 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings /
    Published 2006
    Other Authors: “…Pfenning, Frank…”
    Texto Completo
    Electronic eBook