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
12th International Conference, TPHOLs''99, Nice, France, September 14-17, 1999, Proceedings
AvLaurent Thery,Christine Paulin
E-bok
PDF, Engelska, 2003712 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 584 kr
Interactive Theorem Proving and Program Development
Yves Bertot, Pierre Castéran
Inbunden, 2004
1 303 kr
Higher-Order Algebra, Logic, and Term Rewriting
Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
Häftad, 1996
566 kr
Del 7