Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1989	Comparing on Strings : Iterated Syllable Ordering & Recursive Path Ordering	Steinbach, Joachim
1989	On Solving Equations and Disequations	Buntine, Wray L.; Bürckert, Hans-Jürgen
1989	Proving termination of associative-commutative rewriting systems using the Knuth-Bendix ordering	Steinbach, Joachim
1989	Inductive Theorem Proving Using Refined Unfailing Completion Techniques	Gramlich, Bernhard
1989	Transforming infinite rewrite systems into finite rewrite systems by embedding techniques	Avenhaus, Jürgen
1989	Ext. [extended] abstracts of the 1st German Workshop Term Rewriting: Theory and Applications	Müller, Jürgen; Ganzinger, Harald
1989	Temporally Distributed Symptoms in the MOLTKE System for Technical Diagnosis	Nökel, Klaus; Lamberti, Hans
1989	Knowledge Acquisition in the Domain of CNC Machining Centers: The Moltke Approach	Althoff, Klaus-Dieter; Kockskämper, S.; Traphöner, R., u.a.
1989	Reducing the Derivation of Redundant Clauses in Reasoning Systems	Socher-Ambrosius, Rolf
1989	Model-Based Knowledge Acquisition from Structure Descriptions in a Technical Diagnosis Domain	Rehbold, Robert
1989	Another Technique for Proving Completeness of Resolution	Socher-Ambrosius, Rolf
1989	UNIF '89 : Extended Abstracts of the Third International Workshop on Unification, 1989, [Lambrecht, FR Germany, Monday, June 26th - Wednesday, 28th 1989]	Bürckert, Hans-Jürgen; Nutt, Werner
1989	Path and decomposition orderings for proving AC-termination	Steinbach, Joachim
1989	The Markgraf Karl Refutation Procedure	Ohlbach, Hans Jürgen; Siekmann, Jörg H.
1989	A Resolution Calculus with Dynamic Sort Structures and Partial Functions	Weidenbach, Christoph
1989	micro-UNIXPERT.2 : Ein Wissensbasiertes System zur Online-Fehlerdiagnose in UNIX-Druckaufträgen	Bergmann, Ralph
1989	Unification Algorithms for Boolean Rings	Crone-Rawe, Bernard
1989	A Decision Procedure for Presburger Arithmetic with Functions and Equality	Krämer, F.-J.
1989	Ein Resolutionskalkül für eine Logik mit unscharf definierten Prädikaten	Fehrer, Detlef
1989	CALDO : Dokumentation und Analyse von Softwaresystemen	Sohns, Harald; Steinbach, Joachim