Skip to content
Vinony

Andre Hirschowitz

No biography available.

Works (2)

Cover of Theorem proving in higher order logics
Theorem proving in higher order logics
Cover of Vector Bundles and Differential Equations
Vector Bundles and Differential Equations