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
549 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
549 kr
Theorem Proving in Higher Order Logics
Laurent Thery, Christine Paulin, Andre Hirschowitz, Gilles Dowek, Yves Bertot
E-bok
2003712 kr
- Signerad!
- -22%
- -19%
- 4 för 3
- Nyhet
Del 8
- 4 för 3
- -23%