Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εμφανίζονται 1 - 14 Αποτελέσματα από 14 για την αναζήτηση '"Automatic theorem proving"', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Deduction systems

    Deduction systems από Socher-Ambrosius, Rolf

    Δημοσίευση 1997
    Θέματα: “…Automatic theorem proving.…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  2. 2
    Mechanical geometry theorem proving

    Mechanical geometry theorem proving από Chou, Shang-Ching 1942-

    Δημοσίευση 1988
    Θέματα: “…Automatic theorem proving.…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  3. 3
    Gems of theoretical computer science

    Gems of theoretical computer science από Schoning, Uwe 1955-

    Δημοσίευση 1998
    Θέματα: “…Automatic theorem proving.…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  4. 4
    Automated theorem proving :

    Automated theorem proving :

    Δημοσίευση 1984
    Θέματα: “…Automatic theorem proving Congresses.…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  5. 5
    Interactive theorem proving and program development :

    Interactive theorem proving and program development : από Bertot, Yves

    Δημοσίευση 2004
    Θέματα: “…Automatic theorem proving.…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  6. 6
    Logic for Computer Science :

    Logic for Computer Science : από Gallier, Jean H.

    Δημοσίευση 1987
    Θέματα: “…Automatic theorem proving.…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  7. 7
    Automated Reasoning :

    Automated Reasoning : από Wos, Larry

    Δημοσίευση 1992
    Θέματα: “…Automatic theorem proving.…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  8. 8
    Automated Reasoning :

    Automated Reasoning :

    Δημοσίευση 1992
    Θέματα: “…Automatic theorem proving Congresses.…”
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  9. 9
    Proof in VDM: :

    Proof in VDM: :

    Δημοσίευση 1998
    Θέματα:
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  10. 10
    Symbolic logic and mechanical theorem proving

    Symbolic logic and mechanical theorem proving από Chang, Chin-Liang 1937-

    Δημοσίευση 1987
    Θέματα:
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  11. 11
    The computer modelling of mathematical reasoning

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

    Δημοσίευση 1983
    Θέματα:
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  12. 12
    Diagrammatic reasoning :

    Diagrammatic reasoning :

    Δημοσίευση 1995
    Θέματα: “…Automatic theorem proving.…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  13. 13
    Computational logic :

    Computational logic :

    Δημοσίευση 1991
    Θέματα:
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  14. 14
    Ontic :

    Ontic : από McAllester, David A.

    Δημοσίευση 1989
    Θέματα: “…Automatic theorem proving.…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:

Εργαλεία αναζήτησης: