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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1992	New heterometallic silylamides with polycyclic and cage-like structures	Veith, Michael; Müller-Becker, Stefan
1992	Microstructure and creep properties of dispersion-strengthened aluminum alloys	Rösler, Joachim; Joos, Rainer; Arzt, Eduard
1992	Ein heuristisch gesteuerter Chart-Parser für attributierte Graph-Grammatiken	Mauss, Jakob
1992	Raman spectra from laser-processed lead zirconate titanate (PbZr0.3Ti0.7O3) prepared by a sol-gel process	Gernet, D.; Kiefer, W.; Schmidt, Helmut K.
1992	DiTo-Datenbank : Datendokumentation zu Verbrektion und Koordination	Klein, Judith; Dickmann, Ludwig
1992	Klassische Kommunikations- und Koordinationsmodelle	Buchheit, Martin
1992	Tree grammars with multilinear interpretation	Guan, Yonggang; Hotz, Günter; Reichert, A.
1992	Primality testing	Buchmann, Johannes; Müller, Volker
1992	Efficient AC1-Matching using Constraints	Avenhaus, Jürgen; Denzinger, Jörg; Hoffmann, T.
1992	Goal-Driven Similarity Assessment	Wess, Stefan; Janetzko, Dietmar; Melis, Erica
1992	HyperCAKE : A Knowledge Acquisition Tool for Hypermedia-Based Expert Systems	Maurer, Frank
1992	Tactics for the Improvement of Problem Formulation in Resolution-Based Theorem Proving	Kerber, Manfred; Präcklein, Axel
1992	Conditional semi-Thue Systems for Presenting Monoids	Deiß, Thomas
1992	On the Representation of Mathematical Concepts and their Translation into First-Order Logic	Kerber, Manfred
1992	Towards Intelligent Inductive Proof Engineering	Gramlich, Bernhard
1992	Inductive Proofs in Specifications Parametrized by a Built-in Theory	Becker, Klaus
1992	MOLTKE : an integrated workbench for fault diagnosis in engineering systems	Althoff, Klaus-Dieter; Maurer, Frank; Wess, Stefan, u.a.
1992	Conditional Rewriting modulo a Built-in Algebra	Avenhaus, Jürgen; Becker, Klaus
1992	Machine Learning and Knowledge Acquisition in a Computational Architecture for Fault Diagnosis in Engineering Systems	Althoff, Klaus-Dieter
1992	Analogical Reasoning with Typical Examples	Kerber, Manfred; Melis, Erica; Siekmann, Jörg H.