खोज परिणाम - "Automatic theorem proving"

परिणाम को परिष्कृत करें
  1. 1

    Gems of theoretical computer science द्वारा Schoning, Uwe 1955-

    प्रकाशित 1998
    पुस्तक


    कवर छवि
  2. 2

    Gems of theoretical computer science द्वारा Schöning, Uwe 1955-

    प्रकाशित 1998
    पुस्तक


    कवर छवि
  3. 3

    Interactive theorem proving second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings

    प्रकाशित 2011
    Available for the University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    कवर छवि
  4. 4

    Logic for computer science foundations of automatic theorem proving द्वारा Gallier, Jean H.

    प्रकाशित 1986
    पुस्तक


    कवर छवि
  5. 5

    Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

    प्रकाशित 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    कवर छवि
  6. 6

    Efficient checking of polynomials and proofs and the hardness of approximation problems द्वारा Sudan, Madhu

    प्रकाशित 1995
    पुस्तक


    कवर छवि
  7. 7

    Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

    प्रकाशित 1995
    पुस्तक


    कवर छवि
  8. 8

    Symbolic logic and mechanical theorem proving द्वारा Chang, Chin-Liang, 1937-

    प्रकाशित 1973
    पुस्तक


    कवर छवि
  9. 9

    5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980

    प्रकाशित 1980
    पुस्तक


    कवर छवि
  10. 10

    Communication complexity a new approach to circuit depth द्वारा Karchmer, Mauricio

    प्रकाशित 1989
    Click here to access thru EZproxy
    Click here to access
    Electronic Resource


    कवर छवि

खोज साधन: