Showing 1 - 12 results of 12 for search 'Bergmann, Eberhard', query time: 0.05s 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
    A language for resolution-oriented theorem provers

    A language for resolution-oriented theorem provers by Bergmann, Eberhard, Röhringer, Bernhard, Grude, Ulrich

    Published 1976
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Kontrollmengen und Programme für Grammatiken unter Einbeziehung der 'scattered-context'-Sprachen

    Kontrollmengen und Programme für Grammatiken unter Einbeziehung der 'scattered-context'-Sprachen by Bergmann, Eberhard

    Published 1971
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Mathematische Logik mit Informatik-Anwendungen

    Mathematische Logik mit Informatik-Anwendungen by Bergmann, Eberhard, Noll, Helga 1936-

    Published 1977
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Über das Terminationsverhalten von einfachen Computer-Programmen

    Über das Terminationsverhalten von einfachen Computer-Programmen by Bergmann, Eberhard

    Published 1975
    Thesis Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Über das Terminationsverhalten von einfachen Computer-Programmen

    Über das Terminationsverhalten von einfachen Computer-Programmen by Bergmann, Eberhard

    Published 1975
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Horn-Formeln eine durch Anwendungen motivierte Einschränkung von Eingaben für Theorem-Beweiser

    Horn-Formeln eine durch Anwendungen motivierte Einschränkung von Eingaben für Theorem-Beweiser by Bergmann, Eberhard, Noll, Helga 1936-

    Published 1974
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    On the semantical Structure of simple infinite loops

    On the semantical Structure of simple infinite loops by Bergmann, Eberhard

    Published 1974
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Zu den logischen Grundlagen von Beweisprozeduren

    Zu den logischen Grundlagen von Beweisprozeduren by Bergmann, Eberhard

    Published 1973
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Mathematische Logik mit Informatik-Anwendungen

    Mathematische Logik mit Informatik-Anwendungen by Bergmann, Eberhard

    Published 1977

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  10. 10
    Über das Terminationsverhalten von einfachen Computer-Programmen

    Über das Terminationsverhalten von einfachen Computer-Programmen by Bergmann, Eberhard

    Published 1976
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Horn-Formeln, eine durch Anwendungen motivierte Einschränkung von Eingaben für Theorem-Beweiser

    Horn-Formeln, eine durch Anwendungen motivierte Einschränkung von Eingaben für Theorem-Beweiser by Bergmann, Eberhard

    Published 1974
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Neutralisierung heißt Sowjetisierung Zu den Deutschland-Plänen des "Nauheimer Kreises"

    Neutralisierung heißt Sowjetisierung Zu den Deutschland-Plänen des "Nauheimer Kreises" by Bergmann, Eberhard

    Published 1949
    Get full text
    Electronic Article Interlibrary loan Place Request


    Saved in:

Search Tools: