André Hirschowitz – författare

Visar alla böcker från författaren André Hirschowitz. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Vector Bundles and Differential Equations

   Proceedings, Nice, France June 12–17, 1979

   Av André Hirschowitz

   Häftad, 1980

   552 kr

   Lägg i varukorg

2. 

   Vector Bundles and Differential Equations

   Proceedings, Nice, France June 12–17, 1979

   Av Andre Hirschowitz

   E-bok, 2012

   718 kr

   Lägg i varukorg

3. 

   Theorem Proving in Higher Order Logics

   12th International Conference, TPHOLs''99, Nice, France, September 14-17, 1999, Proceedings

   Av Laurent Thery, Christine Paulin m. fl.

   E-bok, 2003

   718 kr

   Lägg i varukorg

4. 

   Theorem Proving in Higher Order Logics

   12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

   Av Yves Bertot, Gilles Dowek m. fl.

   Häftad, 1999

   552 kr

   Lägg i varukorg

   This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs'99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed research, and each of them was refereed by at …