Skip recommendations
Showing 1 - 2 results of 2 for search 'Felty, Amy', query time: 0.02s Refine Results
Search Tools: Suscríbete a esta búsqueda
  1. 1
    Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /
    Published 2015
    Other Authors: “…Felty, Amy P.…”
    Loading…
    Call Number: Loading…
     Located: Loading…
    Texto Completo
    Electronic eBook
  2. 2
    Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /
    Published 2012
    Other Authors:
    Texto Completo
    Electronic eBook