Search Results - Raulefs, Peter 1945-

  • Showing 1 – 10 results of 10
Filter by
  1. 1
    Cover Image

    Künstliche Intelligenz: Frühjahrsschule, Teisendorf, 15. - 24. März 1982
    by Siekmann, Jörg H., Raulefs, Peter 1945-, Raulefs, Peter 1945-

    Published 1982
    Book


    Saved in:
  2. 2
    Cover Image

    Standard models of the overtyped lambda-calculus
    by Raulefs, Peter 1945-

    Published 1975
    Book


    Saved in:
  3. 3
    Cover Image

    The connection between axiomatic and denotational semantics of programming languages
    by Raulefs, Peter 1945-

    Published 1977
    Book


    Saved in:
  4. 4
    Cover Image

    Der übertypisierte Lambda-Kalkül
    by Raulefs, Peter 1945-

    Published 1975
    Thesis/Dissertation Book


    Saved in:
  5. 5
    Cover Image

    The overtyped lambda calculus
    by Raulefs, Peter 1945-

    Published 1975
    Book


    Saved in:
  6. 6
    Cover Image

    Foundation of expert systems for conceptional design in mechanical engineering
    by Raulefs, Peter 1945-

    Published 1984
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

    Der übertypisierte Lambda-Kalkül
    by Raulefs, Peter 1945-

    Published 1975
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    Expert systems: state of the art and future prospects
    by Raulefs, Peter 1945-

    Published 1981
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

    APE: an expert system for automatic programming from abstract specifications of data types and algorithms
    by Bartels, Ulrich, Olthoff, Walter, Raulefs, Peter 1945-

    Published 1981
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

    Workshop on Reliable Software: 2nd meeting of the German Chapter of the ACM, Bonn, University, September 22 - 23, 1978

    Published 1979
    Other Authors: “…Raulefs, Peter 1945-…”
    Conference Proceedings Book


    Saved in:

Search Tools: