Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
Häftad
538 kr
Vector Bundles and Differential Equations
Proceedings, Nice, France June 12–17, 1979
Häftad, Engelska, 1980
Del 7 i serien Progress in Mathematics
537 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
538 kr
- -30%
- -21%
Hjärnans akilleshälar : hur din hjärna lurar dig, och vad du kan göra åt det
Anders Hansen
Inbunden
229 kr289 kr
- 4 för 3
Del 1
- -30%
Del 2
- Nyhet
- Signerad!
- 4 för 3
- 4 för 3
- 4 för 3
Del 1