Treffer 1 – 18 von 18 für Suche 'Walther, Christoph 1950-', 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.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Automatisierung von Terminierungsbeweisen von Walther, Christoph 1950-
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
2
A digest of argument-bounded algorithms von Walther, Christoph 1950-
Veröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen … -
3
Automated termination proofs von Walther, Christoph 1950-
Veröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen … -
4
A many-sorted calculus based on resolution and paramodulation von Walther, Christoph 1950-
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen … -
5
Schubert's steamroller von Walther, Christoph 1950-
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen … -
6
A many-sorted calculus based on resolution and paramodulation von Walther, Christoph 1950-
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen … -
7
The Markgraf Karl refutation procedure PLL - a first-order language for an automated theorem prover von Walther, Christoph 1950-
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen … -
8
Automated termination proofs von Walther, Christoph 1950-
Veröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen … -
9
A classification of unification problems in many-sorted theories von Walther, Christoph 1950-
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen … -
10
A classification of unification problems in many-sorted theories von Walther, Christoph 1950-
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen … -
11
Schubert's Steamroller a case study in many-sorted resolution von Walther, Christoph 1950-
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen … -
12
A many-sorted calculus based on resolution and paramodulation von Walther, Christoph 1950-
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen … -
13
Semantik und Programmverifikation von Walther, Christoph 1950-
Veröffentlicht 2001Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen -
14
A many sorted calculus based on resolution and paramodulation von Walther, Christoph 1950-
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen … -
15
A many-sorted calculus based on resolution and paramodulation von Walther, Christoph 1950-
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen … -
16
Ein mehrsortiger Resolutionskalkül mit Paramodulation von Walther, Christoph 1950-
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen … -
17
Ein mehrsortiger Resolutionskalkül mit Paramodulation von Walther, Christoph 1950-
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen … -
18
Elimination of redundant links in extende connection graphs von Walther, Christoph 1950-
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …