Treffer 1 - 9 von 9 für Suche 'Hutter, Dieter', Suchdauer: 0,23s Treffer weiter einschränken
  1. 1
    Parameterized Abstractions used for proof-planning

    Parameterized Abstractions used for proof-planning von Autexier, Serge, Hutter, Dieter

    Veröffentlicht 1997
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Guiding equational proofs by attribute functions

    Guiding equational proofs by attribute functions von Cleve, Jürgen 1957-, Hutter, Dieter

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Mustergesteuerte Strategien für das Beweisen von Gleichungen

    Mustergesteuerte Strategien für das Beweisen von Gleichungen von Hutter, Dieter

    Veröffentlicht 1991
    Inhaltsverzeichnis
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Using resolution and paramodulation for induction proofs

    Using resolution and paramodulation for induction proofs von Hutter, Dieter

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Verhandlungstechnik bei steuerlichen Betriebsprüfungen verhandeln im Dienste der Betriebsprüfung

    Verhandlungstechnik bei steuerlichen Betriebsprüfungen verhandeln im Dienste der Betriebsprüfung von Schmäche, Ernst, Hutter, Dieter

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Using resolution and paramodulation for induction proofs

    Using resolution and paramodulation for induction proofs von Hutter, Dieter

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Using rippling to prove the termination of algorithms

    Using rippling to prove the termination of algorithms von Hutter, Dieter

    Veröffentlicht 1997
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Using rippling to prove the termination of algorithms

    Using rippling to prove the termination of algorithms von Hutter, Dieter

    Veröffentlicht 1997
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

    Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

    Veröffentlicht 2005
    Weitere Verfasser: “… Hutter, Dieter …”
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: