Showing 1 - 3 results of 3 for search 'Ciesinger, J.', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Mechanisierung von Beweisen in der Mengenlehre

    Mechanisierung von Beweisen in der Mengenlehre by Ciesinger, J.

    Published 1969
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Zur Formalisierung der Semantik von CH-2 Programmiersprachen e. interpretatives Modell

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

    Published 1972
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Beweisprogramm nach einem modifizierten Gentzenkalkül für die Prädikatenlogik erster Stufe

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

    Published 1970
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: