A

Andre Hirschowitz

3 books found

Books by Andre Hirschowitz
Vector Bundles and Differential EquationsAndre Hirschowitz
⏱ 4h 9m

Vector Bundles and Differential Equations

Andre Hirschowitz

1980249 pp.
Vector Bundles and Differential EquationsAndré Hirschowitz

Vector Bundles and Differential Equations

André Hirschowitz

2012No page data
Theorem proving in higher order logicsYves Bertot
⏱ 5h 59m

Theorem proving in higher order logics

Yves Bertot

1999359 pp.