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
- Signerad!
- Nyhet
Tsaren i egen hög person : hur Vladimir Putin lurade oss alla
Roman Badanin, Michail Rubin
Inbunden
349 kr
- -20%
- Nyhet
- -22%
Del 1
- -22%
Del 3
- 4 för 3
Del 1
- 4 för 3
- -22%
Del 3