The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis - David A. Plaisted - Grāmatas - Springer Fachmedien Wiesbaden - 9783528155742 - 1999. gada 28. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

David A. Plaisted
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis 2nd ed. 1999 edition

Cena
€ 52,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 15. - 23. sept.
Saņemiet paziņojumus par jauniem David A. Plaisted izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Helping readers gain a theoretical understanding of the efficiencies of different theorem-proving methods, this book gives asymptotic bounds on the sizes of the search spaces generated by many common theorem-proving strategies.

172 pages, 3 black & white illustrations, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1999. gada 28. oktobris
ISBN13 9783528155742
Izdevēji Springer Fachmedien Wiesbaden
Lapas 172
Izmēri 148 × 210 × 10 mm   ·   244 g
Valoda Angļu   Vācu  
Ieguldītājs Rudolf Kruse
Ieguldītājs Wolfgang Bibel

Vairāk no tā paša izdevēja

Skatīt visus David A. Plaisted