Arama Sonuçları - "Automatic theorem proving"

Sonuçları Daraltın
  1. 1

    Gems of theoretical computer science Yazar: Schoning, Uwe 1955-

    Baskı/Yayın Bilgisi 1998
    Kitap
  2. 2

    Gems of theoretical computer science Yazar: Schöning, Uwe 1955-

    Baskı/Yayın Bilgisi 1998
    Kitap
  3. 3
  4. 4

    Logic for computer science foundations of automatic theorem proving Yazar: Gallier, Jean H.

    Baskı/Yayın Bilgisi 1986
    Kitap
  5. 5
  6. 6

    Efficient checking of polynomials and proofs and the hardness of approximation problems Yazar: Sudan, Madhu

    Baskı/Yayın Bilgisi 1995
    Kitap
  7. 7
  8. 8

    Symbolic logic and mechanical theorem proving Yazar: Chang, Chin-Liang, 1937-

    Baskı/Yayın Bilgisi 1973
    Kitap
  9. 9

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

    Baskı/Yayın Bilgisi 1980
    Kitap
  10. 10