Amy Felty
3 published titles
Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 proceedings
(Contributor)
1 edition
- ISBN: 3540633790
- Springer
- 1997
- Details
Interactive theorem proving : third international conference, ITP 2012, Princeton, NJ, USA, August 13-15 2012 : proceedings
(Contributor)
1 edition
- ISBN: 9783642323461
- Springer
- 2012
- Details
Automated deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings
(Contributor)
1 edition
- ISBN: 9783319214009
- Springer
- 2015
- Details
