André Hirschowitz - Böcker

Visar alla böcker från författaren André Hirschowitz.

2 produkter

Kategorier

2 produkter

Del 7

Del 7 - Progress in Mathematics

Vector Bundles and Differential Equations

Proceedings, Nice, France June 12–17, 1979

AvAndré Hirschowitz,André

Häftad, Engelska, 1980

689 kr

Skickas inom 10-15 vardagar

Theorem Proving in Higher Order Logics

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

AvYves Bertot,Gilles Dowek,Andre Hirschowitz,Christine Paulin,Laurent Thery

Häftad, Engelska, 1999

689 kr

Skickas inom 10-15 vardagar