The Efficiency of Theorem Proving Strategies

A Comparative and Asymptotic Analysis

AvYunshan Zhu,David A. Plaisted

E-bok
PDF, Tyska, 2013

538 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

Mer från samma författare

Hoppa över listan

Du kanske också är intresserad av

Åsa Hellberg - Den femte dagen, Pocket
  • 4 för 3
Del 1

Den femte dagen

Åsa Hellberg

Pocket, 2026

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

99 kr

Maggie Haberman, Jonathan Swan - Regime Change, Inbunden
  • Nyhet

Regime Change

Maggie Haberman, Jonathan Swan

Inbunden, 2026

295 kr

Karin Slaughter - Alla är vi skyldiga, Pocket
  • 4 för 3
Del 1

Alla är vi skyldiga

Karin Slaughter

Pocket, 2026

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

99 kr