Showing 11 - 20 results of 21 for search '"Automatic theorem proving"', query time: 0.02s Refine Results
  1. 11

    Proof technology and computation

    Published 2006
    Book

    Proof technology and computation
  2. 12

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

    Published 1998
    Book

    Gems of theoretical computer science
  3. 13

    Gems of theoretical computer science by Schoning, Uwe 1955-

    Published 1998
    Book

    Gems of theoretical computer science
  4. 14

    Design and implementation of symbolic computation systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

    Published 1996
    Book

    Design and implementation of symbolic computation systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings
  5. 15

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

    Published 1995
    Book

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

    Theorem provers in circuit design theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

    Published 1995
    Book

    Theorem provers in circuit design theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
  7. 17

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

    Published 1995
    Book

    Efficient checking of polynomials and proofs and the hardness of approximation problems
  8. 18

    Communication complexity a new approach to circuit depth by Karchmer, Mauricio

    Published 1989
    Click here to access thru EZproxy
    Click here to access
    Electronic Resource

    Communication complexity a new approach to circuit depth
  9. 19

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

    Published 1986
    Book

    Logic for computer science foundations of automatic theorem proving
  10. 20

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

    Published 1980
    Book

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

Search Tools: