MPG.eBooks - Author Search Results

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

Cover Image

1

Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings

by Pfenning, Frank
Published 1994

Springer

Cover Image

2

Generative Programming and Component Engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings

by Pfenning, Frank
Published 2003

Springer Berlin Heidelberg

Cover Image

3

Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

Other Authors: “...Pfenning, Frank...”

Cover Image

4

Term Rewriting and Applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Pfenning, Frank...”

Cover Image

5

Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Pfenning, Frank...”

Cover Image

6

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 S...

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Pfenning, Frank...”

Cover Image

7

Generative Programming and Component Engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Pfenning, Frank...”