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

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

    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: