Logical Methods in Computer Science - Periode I (DK W-1255)

  • Fazekas, Katalin (Researcher)
  • Seidl, Martina (Researcher)
  • Biere, Armin (PI)

Project: Funded research › FWF - Austrian Science Fund

Project Details

StatusFinished
Effective start/end date01.03.2014 → 28.02.2018

Fields of science

  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102001 Artificial intelligence
  • 102011 Formal languages
  • 102022 Software development
  • 202006 Computer hardware