Showing 1 - 3 results of 3 for search 'Felty, Amy', query time: 0.02s Narrow Search
  1. 1
    Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
    Published 2012
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
    Published 2015
    Other Authors: “…Felty, Amy P.…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Theorem Proving in Higher Order Logics 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
    Published 1997
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: