Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
Häftad
534 kr
Vector Bundles and Differential Equations
Proceedings, Nice, France June 12–17, 1979
Häftad, Engelska, 1980
Del 7 i serien Progress in Mathematics
534 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
Häftad
534 kr
- Nyhet
- -19%
- Nyhet
Del 2
- -22%
Del 1
- Nyhet
- Signerad!
- -30%
- Signerad!
Del 3
- -22%