Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
Häftad, 1999
719 kr
Del 7 i serien Progress in Mathematics
Vector Bundles and Differential Equations
Proceedings, Nice, France June 12–17, 1979
Häftad, Engelska, 1980
719 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
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
719 kr
- Nyhet
Del 3
- Nyhet
Del 11
- Nyhet
Del 4
- Nyhet
Domino : Dåren, domaren och den välkammade mannen från pirayaministeriet
Håkan Nesser
Inbunden, 2026
289 kr329 kr
- Nyhet
Del 6
Del 3
Del 1
Del 2
Del 7