Your search returned 2 results.

Not what you expected? Check for suggestions
1.
Theorem Proving in Higher Order Logics

by Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery.

Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
2.
Vector Bundles and Differential Equations

by André Hirschowitz.

Series: Progress in MathematicsEdition: 1980Material type: Computer file Computer file; Format: electronic Publication details: Birkhäuser Boston 1980Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart