Researcher Portfolio

Brahm, Uwe

Information Services and Technology, MPI for Informatics, Max Planck Society

Researcher Profile

Position: Information Services and Technology, MPI for Informatics, Max Planck Society

Researcher ID: https://pure.mpg.de/cone/persons/resource/persons44171

External references

WorldCat Search for Brahm, Uwe

Google Scholar Search for Brahm, Uwe

Publications

: Weidenbach, C., Brahm, U., Hillenbrand, T., Keen, E., Theobalt, C., & Topić, D. (2002). SPASS Version 2.0. In Automated deduction, CADE-18: 18th International Conference on Automated Deduction (pp. 275-279). Heidelberg, Germany: Springer. [PubMan] : Weidenbach, C., Afshordel, B., Brahm, U., Cohrs, C., Engel, T., Keen, E., Theobalt, C., & Topic, D. (1999). System Description: SPASS Version 1.0.0. In H. Ganzinger (Ed.), Automated deduction (CADE-16) : 16th international conference on automated deduction (pp. 378-382). New York, NY, USA: Springer. [PubMan] : Brahm, U., & Pitz, W. (1990). Parkwächter. C't Magazin für Computer Technik, -(3), 252-253. Retrieved from http://www.heise.de/kiosk/archiv/ct/90/03/252/. [PubMan]