Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Efficiency of Theorem Proving Strategies
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
Helping readers gain a theoretical understanding of the efficiencies of different theorem-proving me...
Libristo kód: 08907327
?
154 b
154 b
1 540
Kč
včetně DPH
Skladem u dodavatele v malém množství
Odesíláme za 13-16 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
/
Brožovaná
416
Kč
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.
Informace o knize
Plný název
Efficiency of Theorem Proving Strategies
Autor
Yunshan Zhu
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
1999
Počet stran
172
EAN
9783528155742
ISBN
9783528155742
Libristo kód
08907327
Nakladatelství
Springer Fachmedien Wiesbaden
Váha
249
Rozměry
148 x 210 x 11
