Search Results - Arthan, R.D.

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Some new results on decidability for elementary algebra and geometry

    Some new results on decidability for elementary algebra and geometry by Solovay, Robert M., Arthan, R.D., Harrison, John

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    A Verified Formal Model of a VC Generator

    A Verified Formal Model of a VC Generator by Arthan, R.D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    A Report On ICL HOL

    A Report On ICL HOL by Arthan, R.D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: