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

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

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

209 kr259 kr

Kristin Hannah - Näktergalen, Pocket
  • 4 för 3

Näktergalen

Kristin Hannah

Pocket, 2023

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

99 kr

Magnus Abrahamsson, Anders Nilsson, Joakim Hansson - Noll tolerans, Inbunden
  • -22%

Noll tolerans

Magnus Abrahamsson, Anders Nilsson, Joakim Hansson

Inbunden, 2026

179 kr229 kr

Fredrik Backman - Mina vänner, Pocket
  • 4 för 3

Mina vänner

Fredrik Backman

Pocket, 2026

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

99 kr

Alison Espach - Bröllopsgästerna, Pocket
  • 4 för 3

Bröllopsgästerna

Alison Espach

Pocket, 2026

3,5 utav 5 stjärnor. Totalt antal röster:(13)

99 kr