Treffer 1 – 4 von 4 für Suche 'Kühler, Ulrich', Suchdauer: 0,02s 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
    Check your ordering termination proofs and open problems

    Check your ordering termination proofs and open problems von Steinbach, Joachim, Kühler, Ulrich

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A tactic based inductive theorem prover for data types with partial operations

    A tactic based inductive theorem prover for data types with partial operations von Kühler, Ulrich

    Veröffentlicht 2000
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Inductive theorem proving in theories specified by positive/negative conditional equations

    Inductive theorem proving in theories specified by positive/negative conditional equations von Wirth, Claus-Peter, Kühler, Ulrich

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Check your ordering termination proofs and open problems

    Check your ordering termination proofs and open problems von Steinbach, Joachim, Kühler, Ulrich

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: