Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
Häftad, 1999
709 kr
Del 7 i serien Progress in Mathematics
Vector Bundles and Differential Equations
Proceedings, Nice, France June 12–17, 1979
Häftad, Engelska, 1980
709 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum1980-01-01
- Mått152 x 229 x 15 mm
- Vikt382 g
- FormatHäftad
- SpråkEngelska
- SerieProgress in Mathematics
- Antal sidor252
- Upplaga1980
- FörlagBirkhauser Boston Inc
- ISBN9780817630225
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Del 215
Categorical Decomposition Techniques in Algebraic Topology
Gregory Arone, John Hubbuck, Ran Levi, Michael Weiss
Häftad, 2012
1 409 kr
Del 1
Del 4
Del 6
Del 8
Del 19
Del 20
Del 21
Del 25
Del 26
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, 1999
709 kr
- Nyhet
Del 3
- Nyhet
Del 6
- Nyhet