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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1991	A Method to Prove the Positiveness of Polynomials	Steinbach, Joachim
1991	Knowledge Adaptation : a Means of Knowledge Acquisition	Ossa, Alvaro de la
1991	Distributed knowledge-based deduction using the team work method	Denzinger, Jörg
1991	CAKE : Computer-Aided Knowledge Engineering	Maurer, Frank
1991	AKILES : An Approach to Automatic Knowledge Integration in Learning Expert Systems	Ossa, Alvaro de la
1991	Similarity, Uncertainty and Case-Based Reasoning in PADTEX	Richter, Michael M.; Weß, Stefan
1991	GenRule : Learning of Shortcut-Oriented Diagnostic Problem Solving in the MOLTKE 3 Workbench	Althoff, Klaus-Dieter; Traphöner, Ralph
1991	A Case Study in Distributed Planning for Autonomous Cooperating Agents	Breuer, Peter
1991	An Extensible Natural Calculus for Argument Presentation	Huang, Xiaorong
1991	Useful Properties of a Frame-Based Representation of Mathematical Knowledge	Kerber, Manfred
1991	Case-Based Reasoning and Expert System Development	Althoff, Klaus-Dieter; Weß, Stefan
1991	Case-Based Knowledge Acquisition, Learning and Problem Solving for Diagnostic Real World Tasks	Althoff, Klaus-Dieter; Weß, Stefan
1991	Case-Based Reasoning and Adaptive Learning in the MOLTKE 3 Workbench for Technical Diagnosis	Althoff, Klaus-Dieter; Maurer, Frank; Weß, Stefan
1991	Order-Sorted Type Theory 1 : Unification	Kohlhase, Michael
1991	A Structural Analysis of Modular Termination of Term Rewriting Systems	Gramlich, Bernhard
1990	A worst-case algorithm for semi-online updates on decomposable problems	Smid, Michiel
1990	Maintaining the minimal distance of a point set in less than linear time	Smid, Michiel
1990	Hidden line elimination for isooriented rectangles	Mehlhorn, Kurt; Näher, Stefan; Uhrig, Christian
1990	The reconstruction problem for dynamic data structures, an overview	Smid, Michiel
1990	A new method for undecidability proofs of first order theories	Treinen, Ralf