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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1988	SASLOG : Lazy Evaluation Meets Backtracking	Hinkelmann, Knut; Noekel, Klaus; Rehbold, Robert
1988	Comparison of Simplification Orderings	Steinbach, Joachim
1988	Iconic-Declarative Programming and Adaptation Rules	Boley, Harold
1988	Term Orderings With Status	Steinbach, Joachim
1988	Using Automated Reasoning Techniques for Deductive Databasis	Ohlbach, Hans Jürgen; Siekmann, Jörg
1988	Unification of Term Schemes - Theory and Applications	Gramlich, Bernhard
1988	Subsumption in KL-One is Undecidable	Schmidt-Schauß, Manfred
1988	A representation for the non-instances of linear terms	Gerlach, Horst
1988	Unification Algebras : an Axiomatic Approach to Unification, Equation Solving and Constraint Solving	Schmidt-Schauß, Manfred; Siekmann, Jörg H.
1988	Expert-System Shells : Very-High-Level Languages for Artificial Intelligence	Boley, Harold
1988	Temporal Matching : Recognizing Dynamic Situations from Discrete Measurements	Nökel, Klaus
1988	Using Theory Resolution to Simplify Interpreted Formulae	Socher-Ambrosius, Rolf
1988	TENUA : A Test Environment for Unification Algorithms	Scheidhauer, R.; Seul, G.
1988	The MKRP User Manual	Beetz, Michael; Freitag, H.; Klug, J., u.a.
1988	SASLOG : Eine funktional-logische Sprachintegration mit Lazy Evaluation und semantischer Unifikation	Hinkelmann, Knut
1988	Vergleichende Untersuchung der Integrationsproblematik von Diagnoseexpertensystemen und Tiefenmodellierungssprachen am Beispiel verschiedener, bereits existierender Systeme	Gladel-Speicher, Simone
1988	ARI : Entwicklung von Inferenzkomponenten für wissensbasierte Systeme auf der Grundlage strukturierter Produktionsregelsysteme	Barth, Winfried
1987	Notes on TRAFOLA, II : the objects of the transformation language and the operations upon them	Heckmann, Reinhold
1987	OBSCURE : a specification environment for abstract data types	Lehmann, Thomas; Loeckx, Jacques
1987	Attribute (re)evaluation in OPTRAN	Lipps, Peter; Möncke, Ulrich; Olk, Matthias, u.a.