André Hirschowitz – författare

Visar alla böcker från författaren .

2 produkter

Kategorier

2 produkter

Del 7

André Hirschowitz - Vector Bundles and Differential Equations, Häftad

Del 7 - Progress in Mathematics

Vector Bundles and Differential Equations

Proceedings, Nice, France June 12–17, 1979

AvAndré Hirschowitz

Häftad, Engelska, 1980

709 kr

Skickas inom 10-15 vardagar

Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery - Theorem Proving in Higher Order Logics, Häftad

Theorem Proving in Higher Order Logics

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

AvYves Bertot,Gilles Dowekm. fl.

Häftad, Engelska, 1999

709 kr

Skickas inom 10-15 vardagar