=ADD=
=author=
Bronstein; I. N. + Semendjajew; K. A.
=title=
Taschenbuch der Mathematik
=year=
1991
=publisher=
Teubner, Leipzig und Nauka, Moskow
=location=
2
=owner=
2
=reftype=
1
=source=
3


=ADD=
=author=
Bronstein; I. N. + Semendjajew; K. A.
=title=
Taschenbuch der Mathematik, Ergaenzungen
=year=
1991
=publisher=
Teubner, Leipzig
=location=
2
=owner=
2
=reftype=
1
=source=
3


=ADD=
=author=
Knuth; D.
=title=
The TEXbook
=year=
1984
=publisher=
Addison-Wesley Publishing Company
=location=
2
=owner=
2
=reftype=
1
=source=
3


=ADD=
=author=
Heinemann; B. +  Weihrauch; K.
=title=
Logik fuer Informatiker
=year=
1992
=publisher=
Teubner, Stuttgart
=location=
2
=owner=
1
=reftype=
1
=source=
3


=ADD=
=author=
Poli; A. + Huguet; L.
=title=
Codes Correcteurs Theorie et applications
=year=
1989
=publisher=
Masson, Paris
=location=
2
=owner=
1
=reftype=
1
=source=
3


=ADD=
=author=
Beutelspacher; A.
=title=
Das ist o.B.d.A. trivial!
=year=
1991
=publisher=
Vieweg, Braunschweig/Wiesbaden
=location=
2
=owner=
1
=reftype=
1
=source=
3



=ADD=
=author=
Kredel; H.
=title=
Solvable Polynomial Rings
=year=
1993
=publisher=
Verlag Shaker
=location=
2
=owner=
1
=reftype=
1
=source=
3


=ADD=
=author=
Becker; T. +  Weispfenning; V.
=title=
Groebner Bases A Computational Approach to Commutative Algebra
=year=
1993
=publisher=
Springer-Verlag
=location=
2
=owner=
1
=reftype=
1
=source=
3



=ADD=
=author=
Renschuch; B.
=title=
Elementare und praktische Idealtheorie
=year=
1976
=publisher=
VEB Deutscher Verlag der Wissenschaften
=location=
2
=owner=
1
=reftype=
1
=source=
3



=ADD=
=author=
Knuth; D.
=title=
The Art of Computer Programming, Vol.1 Fundamental Algorithms
=year=
1973
=publisher=
Addison-Wesley
=location=
2
=owner=
3
=reftype=
1
=source=
3


=ADD=
=author=
Shoenfield; J.
=title=
Mathematical Logic
=year=
1967
=publisher=
Addison-Wesley
=location=
2
=owner=
3
=reftype=
1
=source=
3


=ADD=
=author=
Forshman; K.
=title=
Constructive Commutative Algebra in Nonlinear Control Theory
=year=
1991
=publisher=
Linkoping University
=location=
2
=owner=
1
=reftype=
1
=source=
3


=ADD=
=author=
Kreuzer; F.
=title=
Goedel-Satz, Moebius-Schleife, Computer-Ich
=year=
1986
=publisher=
Franz Deuticke, Wien
=location=
2
=owner=
1
=reftype=
1
=source=
3

=ADD=
=author=
Valleman; D. J.
=title=
How to Prove It. A structured Approach
=year=
1994
=publisher=
Cambridge University Press
=location=
2
=owner=
1
=reftype=
1
=source=
3



=ADD=
=author=
Leitl; Ch.
=title=
Wirschaft Morgen
=year=
1990
=publisher=
Universitaetsverlag Rudolf Trauner, Linz
=location=
2
=owner=
1
=reftype=
1
=source=
3



=ADD=
=author=
Kutzler; B. + Lichtenberger; F. + Winkler; F.
=title=
Softwaresysteme zur Formelmanipulation
=year=
1990
=publisher=
Expert Verlag
=location=
2
=owner=
1
=reftype=
1
=source=
3



=ADD=
=author=
Buchberger; B. + Winkler; F.
=title=
Groebner Bases and Applications
=year=
1998
=publisher=
Cambridge University Press
=volume=
251
=series=
London Mathematical Society Lecture Notes
=location=
2
=owner=
1
=reftype=
15
=source=
3




=ADD=
=author=
Baader; F. +  Schulz; K. U.
=title=
Frontiers of Combining Systems
=year=
1996
=publisher=
Kluwer Academic Publishers
=volume=
3
=series=
Applied Logic Series
=location=
2
=owner=
1
=reftype=
15
=source=
3


=ADD=
=author=
Bose; N. K.
=title=
Multidimensional Systems Theory
=year=
1985
=publisher=
D.Reidel Publishing Company
=location=
2
=owner=
1
=reftype=
15
=source=
3



=ADD=
=author=
Schwichtenberg; H.
=title=
Logic of Computation
=year=
1997
=publisher=
Springer
=volume=
157
=series=
Nato ASI Series, Series F: Computer and System Sciences
=location=
2
=owner=
1
=reftype=
15
=source=
3


=ADD=

=author=
Ida; T. + Ohari; A. + Takeichi; M.
=title=
Second Fuji International Workshop on Functional and Logic Programming
=year=
1997
=publisher=
World Scientific
=owner=
2
=reftype=
10
=source=
3