Theorem Proving in Higher Order Logics
Laurent Thery, Christine Paulin, Andre Hirschowitz, Gilles Dowek, Yves Bertot
E-bok
2003712 kr
Vector Bundles and Differential Equations
Proceedings, Nice, France June 12–17, 1979
E-bok
PDF, Engelska, 2012712 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Fler format och utgåvor
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
Häftad, 1999
545 kr
Hoppa över listan
Du kanske också är intresserad av
Del 7
Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
Häftad, 1999
545 kr
Theorem Proving in Higher Order Logics
Laurent Thery, Christine Paulin, Andre Hirschowitz, Gilles Dowek, Yves Bertot
E-bok
2003712 kr
- Signerad!
- 4 för 3
Del 1
- Nyhet
Det nya matriarkatet : en kartläggning av feminiseringen inom staten
Erik J. Olsson, Catharina Grönqvist Olsson
Inbunden, 2026
255 kr
- Nyhet
- -15%
Historiens återkomst : Europa och världsordningens sammanbrott
Martin Kragh
Inbunden, 2025
219 kr259 kr
- -23%