Elsa L. Gunter

1 published title

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 proceedings

(Contributor)

1 edition