% BibTeX Entries for: Brahm, Uwe % Found 5 entries matching: "Brahm, Uwe" in field "author" % List of publications generated: 10:22, 28 Mar 2024 @MASTERSTHESIS{Brahm2013, AUTHOR = {Brahm, Uwe}, TITLE = {{M{\"o}glichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts f{\"u}r Informatik}}, SCHOOL = {Universit{\"a}t des Saarlandes}, TYPE = {Master's thesis}, MONTH = {November}, YEAR = {2013}, PAGES = {149}, NOTE = {Abschlussarbeit zur Erlangung des akademischen Grades eines Magister Artium (M. A.) vorgelegt an der Fachrichtung 5.6 - Informationswissenschaft, Fakult{\"a}t 5 - Philosophische Fakult{\"a}t III der Universit{\"a}t des Saarlandes}, } @MISC{BrahmPresentation20060912, AUTHOR = {Brahm, Uwe}, TITLE = {Eine integrierte Publikationsverwaltung am Beispiel des Max-Planck-Instituts f{\"u}r Informatik}, HOWPUBLISHED = {Folien eines Vortrages am 12. September 2006 im Zentrum f{\"u}r Informationsmanagement der Max-Planck-Gesellschaft (ZIM) in Garching bei M{\"u}nchen}, MONTH = {September}, YEAR = {2006}, PAGES = {15}, } @INPROCEEDINGS{WBH+02-CADE18, AUTHOR = {Weidenbach, Christoph and Brahm, Uwe and Hillenbrand, Thomas and Keen, Enno and Theobalt, Christian and Topi{\'c}, Dalibor}, EDITOR = {Voronkov, Andrei}, TITLE = {{SPASS} Version 2.0}, BOOKTITLE = {Automated deduction, CADE-18 : 18th International Conference on Automated Deduction}, PADDRESS = {Heidelberg, Germany}, ADDRESS = {Kopenhagen, Denmark}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Artificial Intelligence}, VOLUME = {2392}, ISBN = {3-540-43931-5}, YEAR = {2002}, PAGES = {275--279}, ABSTRACT = {SPASS is an automated theorem prover for full first-order logic with equality. This system description provides an overview of recent developments in SPASS 2.0, including among others an implementation of contextual rewriting, refinements of the clause normal form transformation, and enhancements of the inference engine.}, } @ARTICLE{BrahmPitz1990, AUTHOR = {Brahm, Uwe and Pitz, Werner}, JOURNAL = {c't Magazin f{\"u}r computer technik}, TITLE = {{Parkw{\"a}chter}}, ADDRESS = {Hannover, Germany}, NUMBER = {3}, PUBLISHER = {Heise}, MONTH = {March}, ISBN = {0724-8679}, YEAR = {1990}, PAGES = {252--253}, } @INPROCEEDINGS{Weidenbach99cadespass, AUTHOR = {Weidenbach, Christoph and Afshordel, Bijan and Brahm, Uwe and Cohrs, Christian and Engel, Thorsten and Keen, Enno and Theobalt, Christian and Topi{\'c}, Dalibor}, EDITOR = {Ganzinger, Harald}, TITLE = {System Description: {SPASS} Version 1.0.0}, BOOKTITLE = {Proceedings of the 16th International Conference on Automated Deduction (CADE-16)}, PADDRESS = {Berlin, Germany}, ADDRESS = {Trento, Italy}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Artificial Intelligence}, VOLUME = {1632}, ISBN = {3-540-66222-7}, YEAR = {1999}, PAGES = {314--318}, }