12 results
Type of media (2)
Availability (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
12 results

Your search for Frank Pfenning

  1. Cover: Foundations of Software Science and Computation Structures - Springer
    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
    02/2013
    Springer
    9783642370755 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Generative Programming and Component Engineering - Springer
    Frank Pfenning | Yannis Smaragdakis
    Generative Programming and Component Engineering
    Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings
    11/2003
    Springer
    9783540398158 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Foundations of Software Science and Computation Structures - Springer
    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
    02/2013
    Springer
    9783642370748 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  4. This image is currently not available.
    Frank Pfenning
    Computation and Deduction
    06/2020
    Cambridge University Press
    9780521772655 (ISBN)
    Book
    Hardback
    €43.33
    Shipment within 15-20 days
  5. Cover: Automated Deduction - CADE-21 - Springer
    Frank Pfenning
    Automated Deduction - CADE-21
    21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
    07/2007
    Springer
    9783540735946 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  6. Cover: Types in Logic Programming - MIT Press
    Frank Pfenning
    Types in Logic Programming
    06/1992
    MIT Press
    9780262519939 (ISBN)
    Book
    Paperback/Softback
    €32.19
    Shipment within 10-20 days
  7. Cover: Term Rewriting and Applications - Springer
    Frank Pfenning
    Term Rewriting and Applications
    17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
    07/2006
    Springer
    9783540368342 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Generative Programming and Component Engineering - Springer
    Frank Pfenning | Yannis Smaragdakis
    Generative Programming and Component Engineering
    Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings
    09/2003
    Springer
    9783540201021 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  9. Cover: Generative Programming and Component Engineering - Springer
    Frank Pfenning | Yannis Smaragdakis
    Generative Programming and Component Engineering
    01/2014
    Springer
    9783662198773 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  10. Cover: Logic Programming and Automated Reasoning - Springer
    Frank Pfenning
    Logic Programming and Automated Reasoning
    5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
    06/1994
    Springer
    9783540582168 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Types in Logic Programming - MIT Press
    Frank Pfenning
    Types in Logic Programming
    06/1992
    MIT Press
    9780262161312 (ISBN)
    Book
    Hardback
    €53.18
    No shipping information available
  12. This image is currently not available.
    Frank Pfenning | Lpar (Conference)
    Logic Programming and Automated Reasoning
    06/1994
    Springer
    9780387582160 (ISBN)
    Book
    Paperback/Softback
    €51.47
    Article not available