Section outline

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

    Ομιλητής: Αντρέας Αβουκάτος.