Preferred Forms
- 200 _ | ‡a Felty ‡b Amy
-
- 100 1 _ ‡a Felty, Amy
-
-
- 100 1 _ ‡a Felty, Amy
- 100 1 _ ‡a Felty, Amy P.
-
Works
Title | Sources |
---|---|
Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings | |
A logic program for transforming sequent proofs to natural deduction proofs = Un programme logique pour transformer des preuves dans un calcul des séquents en preuves en déduction naturelle | |
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice | |
Theorem proving in higher order logics : 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings | |
Vers un environnement d’aide au développement de preuves en sémantique naturelle |