Bücher nach ISBN

Andre Hirschowitz

A. H. · A. Hirschowitz

TitelArt ISBN-13Erschei-
nungsjahr		andere Autoren
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, ProceedingsPaperback 978-3-662-18341-02014Yves Bertot · Gilles Dowek
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, ProceedingsTaschenbuch 978-3-540-66463-52008Laurent Thery · Yves Bertot · Christine Paulin · Gilles Dowek
Vector Bundles and Differential Equations: Proceedings, Nice, France June 12-17, 1979Paperback
978-0-8176-3022-51980
Vector Bundles and Differential Equations: Proceedings, Nice, June 12-17, 1979Taschenbuch 978-3-7643-3022-41980

Birkhauser · Birkhäuser · Springer

 

André Hodeir