gefundene Verfasser Raulefs, R

Raulefs, Peter 1945-
Bartels, Ulrich
Olthoff, Walter
Raulefs, Peter G.
Raulefs, Ronald 1972-
Alle anzeigen »
Siekmann, Jörg H.
Workshop on Reliable Software Bonn

Treffer 1 - 13 von 13 für Suche 'Raulefs, R', Suchdauer: 2,02s Treffer weiter einschränken
  1. 1
    Künstliche Intelligenz Frühjahrsschule, Teisendorf, 15. - 24. März 1982

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

    Veröffentlicht 1982
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Foundation of expert systems for conceptional design in mechanical engineering

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

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Expert systems state of the art and future prospects

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

    Veröffentlicht 1981
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Diversity enhanced multiuser and multicarrier mobile radio communications systems = Mobile Mehrnutzer- und Mehrträger-Funkkommunikationssysteme mit verbesserter Diversität

    Diversity enhanced multiuser and multicarrier mobile radio communications systems = Mobile Mehrnutzer- und Mehrträger-Funkkommunikationssysteme mit verbesserter Diversität von Raulefs, Ronald 1972-

    Veröffentlicht 2009
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Standard models of the overtyped lambda-calculus

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

    Veröffentlicht 1975
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    APE an expert system for automatic programming from abstract specifications of data types and algorithms

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

    Veröffentlicht 1981
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Foundation of expert systems for conceptional design in mechanical engineering

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

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    The connection between axiomatic and denotational semantics of programming languages

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

    Veröffentlicht 1977
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Der übertypisierte Lambda-Kalkül

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

    Veröffentlicht 1975
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Der übertypisierte Lambda-Kalkül

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

    Veröffentlicht 1975
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    The overtyped lambda calculus

    The overtyped lambda calculus von Raulefs, Peter 1945-

    Veröffentlicht 1975
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Automatic synthesis of minimal algorithms from samples of their behavior

    Automatic synthesis of minimal algorithms from samples of their behavior von Raulefs, Peter G.

    Veröffentlicht 1973
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Workshop on Reliable Software 2nd meeting of the German Chapter of the ACM, Bonn, University, September 22 - 23, 1978

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

    Veröffentlicht 1979
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: