Suchergebnisse - Ciesinger, J.

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

    Mechanisierung von Beweisen in der Mengenlehre
    von Ciesinger, J.

    Veröffentlicht 1969
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Zur Formalisierung der Semantik von CH-2 Programmiersprachen: e. interpretatives Modell
    von Ciesinger, J.

    Veröffentlicht 1972
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Beweisprogramm nach einem modifizierten Gentzenkalkül für die Prädikatenlogik erster Stufe
    von Ciesinger, J.

    Veröffentlicht 1970
    Buch


    Gespeichert in:

Suchwerkzeuge: