Automated Reasoning with Analytic Tableaux and Related Methods

16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings

AvNicola Olivetti

E-bok
PDF, Engelska, 2007

734 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