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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1990	Vade-mecum of Polynomial Orderings	Steinbach, Joachim; Zehnter, Michael
1990	Completion Based Inductive Theorem Proving : A Case Study in Verifying Sorting Algorithms	Gramlich, Bernhard
1990	Optimizing Expert Systems	Spieker, Peter
1990	Compartmentalized Connection Graphs for Concurrent Logic Programming I : Compartmentalization, Transformation and Examples	Powers, David M. W.
1990	Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases	Baader, Franz
1990	Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems	Baader, Franz
1990	Simplification and Reduction for Automated Theorem Proving	Socher-Ambrosius, Rolf
1990	How to Prove Higher Order Theorems in First Order Logic	Kerber, Manfred
1990	Boolean Algebra Admits No Convergent Term Rewriting System	Socher-Ambrosius, Rolf
1990	Multiple Knowledge Acquisition Strategies in MOLTKE	Althoff, Klaus-Dieter; Maurer, Frank; Rehbold, Robert
1990	Experiments in Unsupervised Language Learning	Powers, David M. W.
1990	Transformation and Structuring of Computer Generated Proofs	Lingenfelder, Christoph
1990	Check your Ordering : Termination Proofs and Open Problems	Steinbach, Joachim; Kühler, Ulrich
1990	A specialized completion procedure for monadic string-rewriting systems presenting groups	Madlener, Klaus; Narendran, Paliath; Friedrich, Otto
1990	A Relational/Functional Language and Its Compilation into the WAM	Boley, Harold
1990	Ansatzpunkte für heuristische Methoden bei der Vervollständigung	Denzinger, Jörg
1990	Die Lernkomponente der MOLTKE-Werkbank zur Diagnose technischer Systeme	Althoff, Klaus-Dieter; Maurer, Frank; Traphöner, Ralph, u.a.
1990	Adding WAM instructions to support Valued Clauses for the Relational/Functional Integration Language RELFUN	Hein, Hans-Günther
1989	Information Retrieval : Überblick über aktive Systeme und Entwicklungstendenzen	Panyr, Jiri; Zimmermann, Harald H.
1989	Synthesis, characterization and applications of lead and barium titanate materials prepared by the sol-gel method	Aegerter, Michel A.; Charbouillot, Y.; Mohallem, Nelcy Della Santina, u.a.