Formal Methods in Artificial Intelligence

$104.00
+ $12.99 送货
  • product image

Formal Methods in Artificial Intelligence

  • 品牌: Unbranded
由……售出:

Formal Methods in Artificial Intelligence

  • 品牌: Unbranded

$104.00

有货
+ $12.99 送货

14天退货政策

由……售出:

$104.00

有货
+ $12.99 送货

14天退货政策

付款方式：

描述

Formal Methods in Artificial Intelligence

Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book 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. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics reason maintenance and intensional logic. First published in 1988 the book covers a wider range of topics than the currently available books in this area and is more directly aimed at workers in artificial intelligence. Language: English
  • 品牌: Unbranded
  • 类别: 计算机与互联网
  • 语言: English
  • 出版日期: 1991/07/26
  • 艺术家: Allan M. Ramsay
  • 页数: 292
  • 出版社／标签: Cambridge University Press
  • 格式: Paperback
  • Fruugo ID: 337400507-741032979
  • ISBN: 9780521424219

送货

在 4 天内发货

  • STANDARD: $12.99 - 之间的交付 周四 23 七月 2026–周二 28 七月 2026

从 英国 送货。

退货

我们会争取将您订购的产品按照您的规格完整地配送给您。不过，万一您收到不完整的订单，或收到的产品与您订购的不同，或者有其他原因让您对订单不满意，您可以要求全部或部分退货，您将收到相应产品的全额退款。

查看完整的退货政策