Theorem Proving in Higher Order Logics
Laurent Thery, Christine Paulin, Andre Hirschowitz, Gilles Dowek, Yves Bertot
E-bok
2003718 kr
Vector Bundles and Differential Equations
Proceedings, Nice, France June 12–17, 1979
E-bok
PDF, Engelska, 2012718 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
556 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, 1999
556 kr
Theorem Proving in Higher Order Logics
Laurent Thery, Christine Paulin, Andre Hirschowitz, Gilles Dowek, Yves Bertot
E-bok
2003718 kr
Del 7
- Signerad!
Del 3
- -19%
- -21%
- -21%
- Nyhet
- Nyhet
Domino : Dåren, domaren och den välkammade mannen från pirayaministeriet
Håkan Nesser
Inbunden, 2026
259 kr
- -30%