Theorem Proving in Higher Order Logics

20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

AvJens Brandt,Klaus Schneider

E-bok
PDF, Engelska, 2007

708 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