Amy Felty

Langue :anglais
Sexe :féminin
Note :
En poste : Lucent Technologies, Bell labs innovations (en 1997)
ISNI :ISNI 0000 0000 4398 3319

Ses activités

Éditeur scientifique1 document

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

  • L'atelier de data.bnf.fr vous propose un espace expérimental, pour découvrir ses données. Frises chronologiques, cartes, galeries d'images vous conduisent vers les ressources de la BnF.

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Theorem proving in higher order logics / ed. Elsa L. Gunter, Amy Felty, cop. 1997

Pages équivalentes