Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
Häftad
689 kr
Del 7 - Progress in Mathematics
Vector Bundles and Differential Equations
Proceedings, Nice, France June 12–17, 1979
Häftad, Engelska, 1980
689 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 296
Perspectives in Analysis, Geometry, and Topology
Ilia Itenberg, Burglind Jöricke, Mikael Passare
Inbunden
1 889 kr
Del 126
Del 1
Del 4
Del 6
Del 8
Del 19
Del 20
Del 21
Del 25
Exterior Differential Systems and the Calculus of Variations
P.A. Griffiths, P. a. Griffiths, P. A. Griffiths
Häftad
1 159 kr
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
689 kr
- Bokrea
Del 1
- Bokrea
Del 3