Showing 1 - 4 results of 4 for search 'Murray, Neil V', query time: 1.24s Refine Results
  1. 1
    Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, June, 1999 : proceedings /
    Published 1999
    Other Authors: “...Murray, Neil V...”

    Conference Proceeding Book
  2. 2
    Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings /
    Published 1999
    Other Authors: “...Murray, Neil V....”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  3. 3
    Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings /
    Published 1999
    Other Authors: “...Murray, Neil V...”

    Conference Proceeding Book
  4. 4
    Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, June 7-11, 1999 : proceedings /
    Published 1999
    Other Authors: “...Murray, Neil V...”

    Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search