MPI-INF Logo

Publications

Search the publication database
.
Return

Your search returned the following 5 documents:

  1. Möglichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts für Informatik
    Uwe Brahm
    Master's thesis, Universität des Saarlandes, 2013. Note: Abschlussarbeit zur Erlangung des akademischen Grades eines Magister Artium (M. A.) vorgelegt an der Fachrichtung 5.6 - Informationswissenschaft, Fakultät 5 - Philosophische Fakultät III der Universität des Saarlandes
  2. Eine integrierte Publikationsverwaltung am Beispiel des Max-Planck-Instituts für Informatik
    Uwe Brahm
    Folien eines Vortrages am 12. September 2006 im Zentrum für Informationsmanagement der Max-Planck-Gesellschaft (ZIM) in Garching bei München

  3. SPASS Version 2.0
    Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobalt, and Dalibor Topić
    In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Kopenhagen, Denmark, 2002, 275-279
    [PS: Download: spass2002.ps]
  4. Parkwächter
    Uwe Brahm and Werner Pitz
    c't Magazin für computer technik (3): 252-253, 1990
  5. System Description: SPASS Version 1.0.0
    Christoph Weidenbach, Bijan Afshordel, Uwe Brahm, Christian Cohrs, Thorsten Engel, Enno Keen, Christian Theobalt, and Dalibor Topić
    In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, 1999, 314-318