André Hirschowitz - Böcker

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

2 produkter

Kategorier

2 produkter

Vector Bundles and Differential Equations

Proceedings, Nice, France June 12–17, 1979

Av André Hirschowitz, André

Häftad, Engelska, 1980

719 kr

Skickas inom 10-15 vardagar

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, Engelska, 1999

709 kr

Skickas inom 10-15 vardagar