Treffer 1 – 5 von 5 für Suche 'Bayerl, Stephan', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Tableaukalkül und entscheidbare Formelklassen e. Beitrag zum Entscheidungsproblem d. Logik

    Tableaukalkül und entscheidbare Formelklassen e. Beitrag zum Entscheidungsproblem d. Logik von Bayerl, Stephan H. A.

    Veröffentlicht 1988
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Theses on automated theorem proving

    Theses on automated theorem proving von Bayerl, Stephan, Caferra, Ricardo 1945-, Linden, Frank van der

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    SETHEO a SEquential THEOremprover for first order logic ; [version 2]

    SETHEO a SEquential THEOremprover for first order logic ; [version 2] von Letz, Reinhold, Schumann, Johannes, Bayerl, Stephan

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    PARTHEO a parallel inference machine

    PARTHEO a parallel inference machine von Bayerl, Stephan, Letz, Reinhold, Schumann, Johann

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    In vitro Analysen neuartiger Medikamente im Diffus großzelligen B-Zell Lymphom

    In vitro Analysen neuartiger Medikamente im Diffus großzelligen B-Zell Lymphom von Bayerl, Stephan 1986-

    Veröffentlicht 2021
    Volltext öffnen
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: