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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1992	Tree grammars with multilinear interpretation	Guan, Yonggang; Hotz, Günter; Reichert, A.
1992	Primality testing	Buchmann, Johannes; Müller, Volker
1992	Integration of Rewriting, Narrowing, Compilation, and Heuristics for Equality Reasoning in Resolution-Based Theorem Proving	Präcklein, Axel
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	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	System and Processing View in Similarity Assessment	Wess, Stefan; Janetzko, Dietmar; Melis, Erica
1992	Classification and Learning of Similarity Measures	Richter, Michael M.
1992	[Omega]-MKRP : A Proof Development Environment	Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael, u.a.
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	Using theorem provers for PL1EQ as inductive provers	Fuchs, Matthias
1992	Automated Data Analysis and Discovery in Neurophysiological Simulation Experiments using a Combination of Numerical and Symbolic Methods	Schrödl, Stefan; Wendel, Oliver
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