Decision Procedures and Applications


Instructors:

  • Viorica Sofronie-Stokkermans <sofronie@uni-koblenz.de>
  • Dennis Peuter <dpeuter@uni-koblenz.de>
  • Time and place: Tuesdays, 12:00s.t.-14:00, Room C 209

    First meeting: 10.04.2018


    English-German Dictionary of Deduction-related Terms

    Schedule