MPG.eBooks - Author Search Results

Cover Image

1

Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

by Gunter, Elsa L
Published 1997

Springer Berlin Heidelberg

Cover Image

2

Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Other Authors: “...Gunter, Elsa L....”