Treffer 1 – 9 von 9 für Suche 'Hutter, Dieter', 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.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Parameterized Abstractions used for proof-planning von Autexier, Serge, Hutter, Dieter
Veröffentlicht 1997Signatur: Wird geladen …
Standort: Wird geladen … -
2
Guiding equational proofs by attribute functions von Cleve, Jürgen 1957-, Hutter, Dieter
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
3
Mustergesteuerte Strategien für das Beweisen von Gleichungen von Hutter, Dieter
Veröffentlicht 1991Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
-
4
Using resolution and paramodulation for induction proofs von Hutter, Dieter
Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen … -
5
Using rippling to prove the termination of algorithms von Hutter, Dieter
Veröffentlicht 1997Signatur: Wird geladen …
Standort: Wird geladen … -
6
Using rippling to prove the termination of algorithms von Hutter, Dieter
Veröffentlicht 1997Signatur: Wird geladen …
Standort: Wird geladen … -
7
Verhandlungstechnik bei steuerlichen Betriebsprüfungen verhandeln im Dienste der Betriebsprüfung von Schmäche, Ernst, Hutter, Dieter
Veröffentlicht 1994Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen -
8
Using resolution and paramodulation for induction proofs von Hutter, Dieter
Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen … -
9
Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
Veröffentlicht 2005Weitere Verfasser: “… Hutter, Dieter …”
Signatur: Wird geladen …
Standort: Wird geladen …