SciDok - Der Wissenschaftsserver der Universität des Saarlandes Statistik anzeigen

Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.
Ressourcen der Sammlung (Sortiert nach Erscheinungsjahr): 18461 bis 18480 von 19032
ErscheinungsjahrTitelVerfasserInOpenAccess
1988Iconic-Declarative Programming and Adaptation RulesBoley, Harold
1988Term Orderings With StatusSteinbach, Joachim
1988Using Automated Reasoning Techniques for Deductive DatabasisOhlbach, Hans Jürgen; Siekmann, Jörg
1988Unification of Term Schemes - Theory and ApplicationsGramlich, Bernhard
1988Subsumption in KL-One is UndecidableSchmidt-Schauß, Manfred
1988A representation for the non-instances of linear termsGerlach, Horst
1988Unification Algebras : an Axiomatic Approach to Unification, Equation Solving and Constraint SolvingSchmidt-Schauß, Manfred; Siekmann, Jörg H.
1988Expert-System Shells : Very-High-Level Languages for Artificial IntelligenceBoley, Harold
1988Temporal Matching : Recognizing Dynamic Situations from Discrete MeasurementsNökel, Klaus
1988Using Theory Resolution to Simplify Interpreted FormulaeSocher-Ambrosius, Rolf
1988TENUA : A Test Environment for Unification AlgorithmsScheidhauer, R.; Seul, G.
1988The MKRP User ManualBeetz, Michael; Freitag, H.; Klug, J., u.a.
1988SASLOG : Eine funktional-logische Sprachintegration mit Lazy Evaluation und semantischer UnifikationHinkelmann, Knut
1988Vergleichende Untersuchung der Integrationsproblematik von Diagnoseexpertensystemen und Tiefenmodellierungssprachen am Beispiel verschiedener, bereits existierender SystemeGladel-Speicher, Simone
1988ARI : Entwicklung von Inferenzkomponenten für wissensbasierte Systeme auf der Grundlage strukturierter ProduktionsregelsystemeBarth, Winfried
1987Notes on TRAFOLA, II : the objects of the transformation language and the operations upon themHeckmann, Reinhold
1987OBSCURE : a specification environment for abstract data typesLehmann, Thomas; Loeckx, Jacques
1987Attribute (re)evaluation in OPTRANLipps, Peter; Möncke, Ulrich; Olk, Matthias, u.a.
1987Dielectric response of KCN crystals at ultra-low frequenciesZiemath, Ervino C.; Aegerter, Michel A.; Slaets, J.
1987Dielectric response of silica aerogelsDa Silva, Adao A.; Dos Santos, Dayse Iara; Aegerter, Michel A.
Ressourcen der Sammlung (Sortiert nach Erscheinungsjahr): 18461 bis 18480 von 19032

Suche einschränken

Volltext