Institute for Information Systems

PUBLICATIONS

In: Proceedings of ePortfolio2005. International ePortfolio Conference (ePortfolio) Cambridge Pages 213-222 EIfEL 10/2005.

To the publication

In: Jörg M. Haake, Ulrich Lucke, Djamshid Tavangarian (editor). Delfi 2005: 3. Deutsche eLearning Fachtagung Informatik. e-Learning Conference of the German Computer Society (DeLFI) Rostock Pages 247-258 LNI 66 9/2005.

To the publication

In: Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP2005). Workshop on User Interfaces for Theorem Provers (UITP) Edinburgh Pages 160-178 4/2005.

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