Εμφανίζονται 21 - 23 Αποτελέσματα από 23 για την αναζήτηση '"proof complexity"', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 21
    Computer Science Logic 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- Complexity and Proof Complexity -- Implicit Computational Complexity for Higher Type Functionals…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 22
    Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Hybrid Systems -- Forcing with Random Variables and Proof Complexity -- Complexity-Theoretic Hierarchies…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 23
    Πιθανοτικά ελέγξιμες αποδείξεις
    Λήψη πλήρους κειμένου
    Thesis
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email