Theory and Applications of Satisfiability Testing - SAT 2010

13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

AvStefan Szeider,Ofer Strichman

E-bok
PDF, Engelska, 2010

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