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
556 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Produktinformation
Utforska kategorier
Innehållsförteckning
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
Mer från samma serie
Perspectives in Analysis, Geometry, and Topology
Ilia Itenberg, Burglind Jöricke, Mikael Passare
Inbunden, 2011
1 544 kr
Del 325
Del 129
Moduli Space of Curves
R. Dijkgraaf, G. Van Der Geer, Robert H. Dijkgraaf, Carel Faber, Gerard B.M. van der Geer
Inbunden, 1995
2 423 kr
Del 1
Del 4
Del 6
Del 8
Del 19
Del 20
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
- Signerad!
Del 3
- Nyhet
Domino : Dåren, domaren och den välkammade mannen från pirayaministeriet
Håkan Nesser
Inbunden, 2026
259 kr
- -21%
- Nyhet
- -19%
- Signerad!
- -19%