[email protected]
Ще ви отговорим до 24 часа
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Контакт
Как се пазарува?
Помощ
Доставка
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Безплатна доставка със Еконт над 129 лв
Наръчник за пазаруване
Тук сме за Вас!
[email protected]
Моят акаунт
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
▸
Празна :-(
0
Efficiency of Theorem Proving Strategies
Език
Английски език
Английски език
Книга
С меки корици
Helping readers gain a theoretical understanding of the efficiencies of different theorem-proving me...
Код Либристо: 08907327
?
164 b
164 b
128.23
лв
Външен склад в ограничено количество
Изпращаме след 13-16 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
/
С меки корици
34.60
лв
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.
Информация за книгата
Пълно заглавие
Efficiency of Theorem Proving Strategies
Автор
Yunshan Zhu
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
1999
Брой страници
172
Баркод
9783528155742
ISBN
9783528155742
Код Либристо
08907327
Издателство
Springer Fachmedien Wiesbaden
Тегло
249
Размери
148 x 210 x 11
