MPG.eBooks - Author Search Results

Cover Image

1

Vector Bundles and Differential Equations : Proceedings, Nice, France June 12–17, 1979

by Hirschowitz, André
Published 1980

Birkhäuser Boston

Cover Image

2

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

by Bertot, Yves
Published 1999

Springer-Verlag Berlin Heidelberg

Other Authors: “...Hirschowitz, André...”

Cover Image

3

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

Other Authors: “...Hirschowitz, Andre...”