Showing 1 - 3 results of 3 for search 'Pfenning, Frank', query time: 0.02s Refine Results
  1. 1
    Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
    by Pfenning, Frank
    Published in Springer e-books (2007)
    Get full text
    eBook
  2. 2
    Term Rewriting and Applications (vol. # 4098) 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
    by Pfenning, Frank
    Published in Springer e-books (2006)
    Get full text
    eBook
  3. 3
    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 in Springer eBooks (2013)
    Other Authors: “...Pfenning, Frank...”
    Get full text
    eBook
Search Tools: Get RSS Feed