Franz Baader

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

<templatestyles src="Module:Hatnote/styles.css"></templatestyles>

Lua error in Module:Infobox at line 235: malformed pattern (missing ']').Franz Baader (15 June 1959, Spalt) is a German computer scientist at Dresden University of Technology .[4][5][6]

He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany,[1] where he was a teaching and research assistant for 4 years. In 1989, he went to the German Research Centre for Artificial Intelligence (DFKI) as a senior researcher and project leader.

In 1993 he became associate professor for computer science at RWTH Aachen, and in 2002 full professor for computer science at TU Dresden.[7]

Works

  • Franz Baader, Tobias Nipkow, Term Rewriting and All That, (1998) Cambridge University Press.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.

References

<templatestyles src="Reflist/styles.css" />

Cite error: Invalid <references> tag; parameter "group" is allowed only.

Use <references />, or <references group="..." />

Lua error in package.lua at line 80: module 'strict' not found.


<templatestyles src="Asbox/styles.css"></templatestyles>

  1. 1.0 1.1 1.2 1.3 1.4 Franz Baader at the Mathematics Genealogy Project
  2. Lua error in package.lua at line 80: module 'strict' not found.
  3. Lua error in package.lua at line 80: module 'strict' not found.
  4. http://lat.inf.tu-dresden.de/~baader/index-en.html Franz Baader Home Page
  5. Franz Baader's publications indexed by Google Scholar, a service provided by Google
  6. Franz Baader's publications indexed by the DBLP Bibliography Server at the University of Trier
  7. http://www.icfca2009.h-da.de/home/invited-speakers/franz-baader/index.htm