Logic And Declarative Language

￥40,190
+ 配送料￥2,049

Logic And Declarative Language

  • ブランド: Unbranded
  • product image

Logic And Declarative Language

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

在庫あり

以下の支払い方法を利用することができます

説明

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
  • カテゴリー: コンピューター、インターネット
  • フォーマット: Hardback
  • 刊行日: 1998/03/31
  • アーティスト: M. Downward
  • ページ数: 384
  • 言語: English
  • 出版社 / レコード会社: Taylor & Francis
  • Fruugo ID: 338011192-741672411
  • ISBN: 9780748408030

配送と返品

4日間以内に発送

  • STANDARD: ￥2,049 - 間の配達 木 27 11月 2025–火 02 12月 2025

イギリスより発送。

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