Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

AvRoy Dyckhoff

E-bok
PDF, Engelska, 2006

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

  • -23%

Kött

David Szalay

Inbunden, 2026

4,5 utav 5 stjärnor. Totalt antal röster:(15)

199 kr259 kr

  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,6 utav 5 stjärnor. Totalt antal röster:(5)

209 kr259 kr