Logic And Declarative Language

￥12,190
+ 配送料￥2,149

Logic And Declarative Language

  • ブランド: Unbranded
  • product image

Logic And Declarative Language

  • ブランド: Unbranded
価格： ￥12,190
販売元:
￥12,190
+ 配送料￥2,149

在庫あり

14日間返品ポリシー

支払い方法:

説明

Logic And Declarative Language

Logic has acquired a reputation for difficulty perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs therefore leading to a greater confidence in automated proofs. Language: English
  • ブランド: Unbranded
  • カテゴリー: コンピューター、インターネット
  • フォーマット: Paperback
  • 刊行日: 1998/03/31
  • アーティスト: M. Downward
  • ページ数: 384
  • 言語: English
  • 出版社 / レコード会社: Taylor & Francis
  • Fruugo ID: 337475863-741113817
  • ISBN: 9780748408023

配送と返品

6日間以内に発送

  • STANDARD: ￥2,149 - 間の配達 金 09 1月 2026–水 14 1月 2026

イギリスより発送。

ご注文の商品は、お客様の仕様に従い、万全の状態で配送されるように最善を尽くしています。しかし、もし注文に抜けがあったり、注文したものと違う商品が届いたり、注文に満足できないその他の理由がある場合は、注文全体やその中のいずれかの商品を返品し、その全額の返金を受けることができます。 全額返金ポリシーを見る