Section outline

  • Θέμα: The Complexity of Theorem-Proving Procedures (Stephen A. Cook)

    Ομιλητής: Μανώλης Λάρδας