Kết quả tìm kiếm - "Automatic theorem proving"

Tinh chỉnh kết quả
  1. 1

    Gems of theoretical computer science Bằng Schoning, Uwe 1955-

    Được phát hành 1998
    Sách


    Ảnh bìa
  2. 2

    Gems of theoretical computer science Bằng Schöning, Uwe 1955-

    Được phát hành 1998
    Sách


    Ảnh bìa
  3. 3

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

    Được phát hành 2011
    Available for the University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Ảnh bìa
  4. 4

    Logic for computer science foundations of automatic theorem proving Bằng Gallier, Jean H.

    Được phát hành 1986
    Sách


    Ảnh bìa
  5. 5

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

    Được phát hành 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Ảnh bìa
  6. 6

    Efficient checking of polynomials and proofs and the hardness of approximation problems Bằng Sudan, Madhu

    Được phát hành 1995
    Sách


    Ảnh bìa
  7. 7

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

    Được phát hành 1995
    Sách


    Ảnh bìa
  8. 8

    Symbolic logic and mechanical theorem proving Bằng Chang, Chin-Liang, 1937-

    Được phát hành 1973
    Sách


    Ảnh bìa
  9. 9

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

    Được phát hành 1980
    Sách


    Ảnh bìa
  10. 10

    Communication complexity a new approach to circuit depth Bằng Karchmer, Mauricio

    Được phát hành 1989
    Click here to access thru EZproxy
    Click here to access
    Electronic Resource


    Ảnh bìa

Công cụ tìm kiếm: