Frank Pfenningのリリース

iMusicに在庫あり在庫なし商品を表示

Cover for Frank Pfenning · 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 - Lecture N (Paperback Book) [2013 edition] (2013)

Foundations of Software Science ... (2013)

Cover for Frank Pfenning · Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2007 edition] (2007)

Automated Deduction - CADE-21: 2... (2007)

Cover for Frank Pfenning · Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2006 edition] (2006)

Term Rewriting and Applications:... (2006)

Cover for Frank Pfenning · Generative Programming and Component Engineering: Second International Conference, Gpce 2003, Erfurt, Germany, September 22-25, 2003, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2003)

Generative Programming and Compo... (2003)

Cover for Frank Pfenning · Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16-22, 1994 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (1994)

Logic Programming and Automated ... (1994)