=ADD=

=author=
Kacsuk; Peter + Kotsis; Gabriele
=title=
DAPSYS98. Workshop on Distributed and Parallel Systems.
Budapest, Hungary, Sep 27 - 29,
=year=
1998
=publisher=
Universitaet Wien
=series=
Techreports, Inst. fuer Angewandte Informatik und Informationssysteme
=number=
TR-98102
=owner=
2
=reftype=
10
=source=
3

=ADD=

=author=
Heugl; Helmuth + Klinger; Walter + Lechner; Josef
=title=
Mathematikunterricht mit Computeralgebra-Systemen
=year=
1996
=publisher=
Addison-Wesley
=owner=
2
=reftype=
1
=source=
3

=ADD=

=author=
Brim; Lubos + Gruska; Jozef + Zlatuska; Jiri
=title=
MFCS'98. Mathematica Foundations of Computer Science.
23 International Symposium, Brno, Czech Republic, Aug.
=year=
1998
=publisher=
Springer
=series=
LNCS
=number=
1450
=owner=
2
=reftype=
10
=source=
3

=ADD=

=author=
Kirchner; Claude + Kirchner; Helene
=title=
CADE-15. 15th International Conference on Automated Deduction.
Lindau, Germany, July.
=year=
1998
=publisher=
Springer
=series=
LNAI, LNCS
=address=
1421
=owner=
2
=reftype=
10
=source=
3


=ADD=

=author=
Bjorner; Nikolaj S. + Haenhle; Reiner + Menzel; Wolfram + Reif; Wolfgang +
Schmitt; Peter H.
=title=
Integration of Deductive Systems.
International Workshop by CADE-15. Lindau, Germany, July 5 - 6.
=year=
1998
=publisher=
none
=owner=
2
=reftype=
10
=source=
3

=ADD=

=author=
Mendelson; Elliot
=title=
Introduction to Mathematical Logic
=year=
1997
=publisher=
Chapman & Hall
=edition=
4
=owner=
3
=reftype=
1
=source=
3

=ADD=

=author=
Gloor; Oliver
=title=
ISSAC 98. International Symposium on Symbolic and Algebraic Computation.
Rostock, Germany, Aug 13 - 15.
=year=
1998
=publisher=
ACM Press
=owner=
2
=reftype=
10
=source=
3

=ADD=

=author=
Smolka; Gert
=title=
CP97. Principles and Practice of Constraint Programming.
Third International Conference. Linz, Austria, Oct/Nov.
=year=
1997
=publisher=
Springer
=series=
LNCS
=number=
1330
=owner=
2
=reftype=
10
=source=
3

=ADD=

=author=
Stollnitz; Eric J. + Derose; Tony D. + Salesin; David H.
=title=
Wavelets for Computer Graphics. Theory and Applications.
=year=
1996
=publisher=
Morgan Kaufmann
=series=
The Morgan Kaufmann Series in Computer Graphics and Geometric Modelling
=owner=
2
=reftype=
1
=source=
3

=ADD=

=author=
Lachmayer; Herbert + Louis; Eleonora
=title=
Work and Culture. Buero. Inszenierung von Arbeit. 
=year=
1998
=publisher=
Ritter Verlag
=owner=
2
=reftype=
1
=source=
3

=ADD=

=author=
Breitenecker; F.
=title=
CASe. Computer Algebra Systeme. Einsatz, Anwndungen, Entwiklungen.
Seminar ueber Modellbildung und Simulation. TU Wien, 21 Apr.
=year=
1998
=publisher=
ARGESIM, TU Wien
=owner=
2
=reftype=
10
=source=
3

=ADD=

=author=
Kajler; N.
=title=
Computer-Human Interaction in Symbolic Computation
=year=
1998
=publisher=
Springer
=series=
Texts and Monographs in Symbolic Computation
=note=
Selected papers from HISC workshop, Amsterdam 1994.
=owner=
2
=reftype=
1
=source=
3