Aktivitaet2025

From International Center for Computational Logic

Mitglied im Steering Committee von CADE: Conference on Automated Deduction (2002-2009, President 2004-2009; 2010-2013, President 2011-2013)


  • Franz Baader
  • Mitglied im Steering Committee von CADE: Conference on Automated Deduction (2002-2009, President 2004-2009; 2010-2013, President 2011-2013)Member of the steering committee CADE: Conference on Automated Deduction (2002-2009, President 2004-2009; 2010-2013, President 2011-2013) (★★★)
  • http://www.cadeinc.org/
  • 2015 – 2025