Treffer 1 – 7 von 7 für Suche 'Hähnle, Reiner', Suchdauer: 0,07s 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
    Spezifikation eines Theorembeweisers für dreiwertige First-order-Logik

    Spezifikation eines Theorembeweisers für dreiwertige First-order-Logik von Hähnle, Reiner

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Automated deduction in multiple-valued logics

    Automated deduction in multiple-valued logics von Hähnle, Reiner

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Machine learning for dynamic software analysis potentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016 : revised papers

    Machine learning for dynamic software analysis potentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016 : revised papers

    Veröffentlicht 2018
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Fundamental approaches to software engineering 22nd international conference, FASE 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings

    Fundamental approaches to software engineering 22nd international conference, FASE 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2...

    Veröffentlicht 2019
    Weitere Verfasser: “… Hähnle, Reiner …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Deductive software verification: future perspectives reflections on the occasion of 20 years of KeY

    Deductive software verification: future perspectives reflections on the occasion of 20 years of KeY

    Veröffentlicht 2020
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Active object languages: current research trends

    Active object languages: current research trends

    Veröffentlicht 2024
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Fundamental approaches to software engineering 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019l : proceedings

    Fundamental approaches to software engineering 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 20...

    Veröffentlicht 2019
    Weitere Verfasser: “… Hähnle, Reiner …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: