Showing 1 - 2 results of 2 for search '"Conference on Automated Deduction"'
query time: 0.01s Refine Results
  1. 1
    6th Conference on Automated Deduction.
    by LOVELAND, D.W
    Published 1982
    Book

    Save to List
    Saved in:
  2. 2
    7th International Conference on Automated Deduction.
    by SHOSTAK, R.E
    Published 1984
    Book

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search