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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
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.
1992	(A)TMS in Expert Systems	Paulokat, Jürgen
1992	Computing Presentations for Subgroups of Polycyclic Groups and of Context-Free Groups	Kuhn, Norbert; Madlener, Klaus; Otto, Friedrich
1992	Classification and Learning of Similarity Measures	Richter, Michael M.
1992	Methods : The Basic Units for Planning and Verifying Proofs	Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael
1992	Retrieval in Case-Based Reasoning using preferred subtheories	Mehl, Michael
1992	Automated Data Analysis and Discovery in Neurophysiological Simulation Experiments using a Combination of Numerical and Symbolic Methods	Schrödl, Stefan; Wendel, Oliver
1992	System and Processing View in Similarity Assessment	Wess, Stefan; Janetzko, Dietmar; Melis, Erica
1992	Integration of Rewriting, Narrowing, Compilation, and Heuristics for Equality Reasoning in Resolution-Based Theorem Proving	Präcklein, Axel
1992	Using theorem provers for PL1EQ as inductive provers	Fuchs, Matthias
1992	[Omega]-MKRP : A Proof Development Environment	Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael, u.a.
1991	An O´small interpreter based on denotational semantics	Hense, Andreas V.
1991	Denotational semantics of an object oriented programming language with explicit wrappers	Hense, Andreas V.