Suchergebnisse

Ähnliche Schlagwörter innerhalb Ihrer Suche.
  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1

    Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /

    Veröffentlicht 1984
    Tagungsbericht Buch