Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
Häftad, 1999
557 kr
Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs''99, Nice, France, September 14-17, 1999, Proceedings
AvLaurent Thery,Christine Paulin
E-bok
PDF, Engelska, 2003718 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
From Semantics to Computer Science
Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin
Inbunden, 2009
1 654 kr
Interactive Theorem Proving and Program Development
Yves Bertot, Pierre Castéran
Inbunden, 2004
1 326 kr
Del 7