André Hirschowitz - Böcker

Visar alla böcker från författaren André Hirschowitz.
2 produkter
André Hirschowitz, André - Vector Bundles and Differential Equations, Häftad

Vector Bundles and Differential Equations

Av André Hirschowitz, André

Häftad, Engelska, 1980

709 kr

Skickas inom 7-10 vardagar
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery - Theorem Proving in Higher Order Logics, Häftad
Del 1690 - Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

Av Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

Häftad, Engelska, 1999

709 kr

Skickas inom 7-10 vardagar