Frank Pfenning

Frank Pfenning is a German-American professor of computer science, adjunct professor in philosophy, and head of the Computer Science Department at Carnegie Mellon University. Provided by Wikipedia
1
Foundations of Software Science and Computation Structures [E-Book] : 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 /
Other Personal Name(s): “...Pfenning, Frank....”

Full text 
Favorites
Saved in:
2
Automated Deduction – CADE-21 [E-Book] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
Other Personal Name(s): “...Pfenning, Frank...”

Full text 
Favorites
Saved in:
3
Term Rewriting and Applications (vol. # 4098) [E-Book] / 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
Other Personal Name(s): “...Pfenning, Frank...”

Full text 
Favorites
Saved in:
4
Generative Programming and Component Engineering [E-Book] : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings /
Other Personal Name(s): “...Pfenning, Frank....”

Full text 
Favorites
Saved in: