Магазини
Любими
84,90 лв.
Изчерпано

Formal Methods in Artificial Intelligence

Изчерпано количество
0%
84,90 лв.

SKU: 9780521424219

Weight: 0.470000

ISBN: 9780521424219

Вид корица: Paperback / softback

Издателство: Cambridge University Press

Брой страници: 292

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book, written for workers in artificial intelligence, covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving, including Bibel's connection method.

* Сроковете за доставка могат да бъдат удължени и по време на кампании, както и в зависимост от наличностите на поръчаните артикули.

Доставка до твой адрес
  • При теб до 3 работни дни
  • Цена за доставка с куриер - 4.90 лв.
  • Безплатна доставка (за поръчка над 49.80 лв.)
Доставка до офис на куриер
  • Цена за доставка до офис - 4.90 лв.
  • По-кратък срок за доставка
Доставка до магазин на Orange Center
  • Доставката до магазин е безплатна

Онлайн магазин orangecenter.bg уверява своите клиенти, че съгласно чл. 55, ал.1 от Закона за защита на потребителите, имат правото да се откажат / или заменят получена от тях стока в срок от 14 (четиринадесет) работни дни от датата на получаване на стоката САМО при условие, че продукта е:

- в оригиналният си вид и качествени характеристики, със запазена оригинална опаковка и етикет, като не се счита за повредена опаковката, цялостта на която е била нарушена по начин, единствено позволяващ отделянето й от стоката.

- без следи от употреба (скъсване, надраскване, счупване или други повреди), както и няма други повреди, причинени от неправилна употреба.

Повече информация за връщане и замяна на стока ще намерите тук.

Остави коментар

Не е необходимо да имате създаден профил, за да оставите коментар