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
  2. 2

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

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

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

    Được phát hành 1986
    Sách
  5. 5
  6. 6
  7. 7
  8. 8

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

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

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

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