Yazar
Andre Hirschowitz
3 cilt bulundu.
Cilt sonuçları
Vector Bundles and Differential Equations
Andre Hirschowitz · Birkhauser
249 sayfa · 1980
Vector bundles / Differential equations / Congresses / Fiber bundles (mathematics) / Vector analysis
Theorem proving in higher order logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz · Springer
359 sayfa · 1999
Congresses / Automatic theorem proving / Congres / Theoremes / Linguagens formais e automatos