Andre Hirschowitz

Identifiers

Open LibraryOL3193298A

Top Subjects

Mathematics (1)
Congresses (1)
General (1)
Science/Mathematics (1)
Differential Equations (1)
Vector bundles (1)

Books by Andre Hirschowitz

Total count: 2

Vector Bundles and Differential EquationsProceedings, Nice, June 12-17, 1979 (Progress in Mathematics (Birkhauser Boston))

Birkhauser1980-06-01
Theorem Proving in Higher Order Logics12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Springer London, Limited2003-01-01