Professoren

Professoren

Professoren

{{{7}}} [[<ul><li>Der Teil „|Franz Baader“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li> <!--br--><li>Der Teil „]]“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li></ul>|<ul><li>Der Teil „|Franz Baader“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li> <!--br--><li>Der Teil „]]“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li></ul>]]

• [[Raum APB 3021]]
• +49 (0) 351 463-39160
•  [mailto:baader@tcs.inf.tu-dresden.de baader@tcs.inf.tu-dresden.de]

[[Automatentheorie]] 

{{{7}}} [[<ul><li>Der Teil „|Christel Baier“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li> <!--br--><li>Der Teil „]]“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li></ul>|<ul><li>Der Teil „|Christel Baier“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li> <!--br--><li>Der Teil „]]“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li></ul>]]

• [[APB 3006]]
• +49 351 463 38548
•  [mailto:christel.baier@tu-dresden.de christel.baier@tu-dresden.de]

[[Verifikation und formale quantitative Analyse]] 

{{{7}}} [[<ul><li>Der Teil „|Markus Krötzsch“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li> <!--br--><li>Der Teil „]]“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li></ul>|<ul><li>Der Teil „|Markus Krötzsch“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li> <!--br--><li>Der Teil „]]“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li></ul>]]

• [[Raum APB 3033]]
• +49 351 463 38486
•  [mailto:markus.kroetzsch@tu-dresden.de markus.kroetzsch@tu-dresden.de]

[[Wissensbasierte Systeme]] 

{{{7}}} [[<ul><li>Der Teil „|Sebastian Rudolph“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li> <!--br--><li>Der Teil „]]“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li></ul>|<ul><li>Der Teil „|Sebastian Rudolph“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li> <!--br--><li>Der Teil „]]“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li></ul>]]

• [[Raum APB 2035]]
• +49 351 463 38516
•  [mailto:sebastian.rudolph@tu-dresden.de sebastian.rudolph@tu-dresden.de]

[[Computational Logic]] 

{{{7}}} [[<ul><li>Der Teil „|Michael Thielscher“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li> <!--br--><li>Der Teil „]]“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li></ul>|<ul><li>Der Teil „|Michael Thielscher“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li> <!--br--><li>Der Teil „]]“ der Abfrage konnte nicht interpretiert werden. Die Ergebnisse entsprechen möglicherweise nicht den Erwartungen.</li></ul>]]

•  [mailto:mit@cse.unsw.edu.au mit@cse.unsw.edu.au]

[[Computational Logic]]