Εμφανίζονται 141 - 160 Αποτελέσματα από 260 για την αναζήτηση '"theorem"', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 141
  2. 142
  3. 143
  4. 144

    The computer modelling of mathematical reasoning από Bundy, Alan

    Δημοσίευση 1983
    Θέματα:
    Βιβλίο
  5. 145

    Diagrammatic reasoning :

    Δημοσίευση 1995
    Θέματα: “…Automatic theorem proving.…”
    Βιβλίο
  6. 146

    Martingale limit theory and its application από Hall, Peter, 1951-2016, Heyde, C. C.

    Δημοσίευση 1980
    Θέματα:
    Βιβλίο
  7. 147

    Probability metrics and the stability of stochastic models από Rachev, S. T. (Svetlozar Todorov)

    Δημοσίευση 1991
    Θέματα: “…Limit theorems (Probability theory)…”
    Βιβλίο
  8. 148

    Generalized symplectic geometries and the index of families of elliptic problems από Nicolaescu, Liviu I.

    Δημοσίευση 1997
    Θέματα: “…Index theorems.…”
    Βιβλίο
  9. 149
  10. 150

    Computational logic :

    Δημοσίευση 1991
    Θέματα:
    Βιβλίο
  11. 151

    Ontic : από McAllester, David A.

    Δημοσίευση 1989
    Θέματα: “…Automatic theorem proving.…”
    Βιβλίο
  12. 152

    Shadows of the mind : από Penrose, Roger

    Δημοσίευση 1994
    Θέματα:
    Βιβλίο
  13. 153

    Σκιές του νου από Penrose, Roger

    Δημοσίευση 1994
    Θέματα:
    Βιβλίο
  14. 154
  15. 155
  16. 156

    Uniformization of Riemann surfaces : από Saint-Gervais, Henri Paul de

    Δημοσίευση 2016
    Βιβλίο
  17. 157
  18. 158

    The undecidable :

    Δημοσίευση 1965
    Θέματα:
    Βιβλίο
  19. 159

    Η εκατόμβη του Πυθαγόρα : από Ταμβακλής, Γιάννης Γ.

    Δημοσίευση 2000
    Θέματα:
    Βιβλίο
  20. 160