Section outline

  • Θέμα: "The Complexity of Theorem-Proving Procedures" (S. A. Cook)
    Ομιλητής: Βασίλειος Γκολόση