Institute for Information Systems

PUBLICATIONS

In: Calculemus Workshop at IJCAR. Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (CALCULEMUS) Pages 173-177 2001.

To the publication

In: ED-MEDIA 2001-World Conference on Educational Multimedia, Hypermedia and Telecommunications. World Conference on Educational Multimedia (ED-MEDIA) Pages 1124-1125 2001.

To the publication

In: Paul Wang, Norbert Kajler, Angel Diaz (editor). Workshop on Internet Accessible Mathematical Computation. Workshop on Internet Accessible Mathematical Computation (IAMC-2001) located at International Symposium on Symbolic and Algebraic Computation (ISSAC'2001) July 22 University of Western Ontario ON Canada 2001.

To the publication

In: P. Brusilovski (editor). Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based Education Systems. ACM International Conference on Interactive Tabletops and Surfaces (ITS) Montreal QC Canada Pages 54-61 2000.

To the publication

Contact

Office:
Simone Winter-Dawo
Tina Amas
Phone: +49 681 85775 3106
Fax: +49 681 85775 3696

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Institute for Information Systems (IWi)
Campus D3 2
Stuhlsatzenhausweg 3
66123 Saarbrücken
Germany

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz