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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
1987	Unification in a Combination of Arbitrary Disjoint Equational Theories	Schmidt-Schauß, Manfred
1987	Solving Disequations in Equational Theories	Bürckert, Hans-Jürgen
1987	Order-Sorted Equational Computation	Smolka, Gert; Nutt, Werner; Goguen, Joseph A., u.a.
1987	My-UNIXPERT : Diagnosis of Printer Problems	Lessel, Michael; Boley, Harold
1987	TEL (version 0.9) : Report and User Manual	Smolka, Gert
1987	Combination of Unification Algorithms in Equational Theories	Herold, Alex
1987	Manual of FranzScheme	Eisinger, Norbert
1987	Frame and Heir : Clausal Frames and Multiple Inheritance in LISPLOG	Boley, Harold
1987	Representing and analyzing causal, temporal, and hierarchical relations of devices	Voss, Hans
1987	An Optimized Transformation into Conjunctive (or Disjunctive) Normal Form	Socher, Rolf
1987	Graph isomorphism : Some special cases	Socher, Rolf
1987	Entwurf und Implementierung einer Interaktionsumgebung für LISPLOG	Meyer, Manfred Andreas
1987	LISPLOG Benutzerhandbuch	Bernardi, Ansgar; Dahmen, Michael; Meyer, Manfred
1987	Goal : Backward-with-Forward Chaining in LISPLOG	Boley, Harold
1987	Module und Streams in LISPLOG	Dahmen, Michael
1987	Lazy E-Unification : A Method to Delay Alternative Solutions	Bürckert, Hans-Jürgen
1987	Conceptual Dependency Theory : Ein Überblick	Nökel, Klaus
1987	FONE AND FALL: Forward-with-Backward Chaining in LISPLOG	Boley, Harold
1987	Implementation logischer Sprachen auf Multiprozessor-Systemen	Penner, Volker
1987	Extending the WARREN Abstract Machine to Feature Prolog	Forster, Peter