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

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

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

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

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

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

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

Zu den logischen Grundlagen von Beweisprozeduren von Bergmann, Eberhard

Mathematische Logik mit Informatik-Anwendungen von Bergmann, Eberhard

Volltext öffnen Volltext öffnen

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

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

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

Volltext öffnen