Treffer 1 - 2 von 2 für Suche 'Landwehr, Rudolf', Suchdauer: 0,14s Treffer weiter einschränken
  1. 1
    A code generator for Ada

    A code generator for Ada von Jansohn, Hans-Stephan, Landwehr, Rudolf

    Veröffentlicht 1983
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Design, implementation and results of an interactive proof system for higher order logic

    Design, implementation and results of an interactive proof system for higher order logic von Jansohn, Hans-Stephan, Landwehr, Rudolf, Wrightson, Graham

    Veröffentlicht 1979
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: