Logic and Declaritive Languages

af


Logic and Declaritive Languages
Du sparer Spar kr. 65,00 med Saxo Premium
Bog, paperback (kr. 459,95) (kr. 524,95)
  • Leveringstid Mangler hos leverandør
Køb til medlemspris og få altid fri fragt.
Prøv 14 dage gratis (herefter 99,-/md.).

Læs mere om Saxo Premium her.
Format:
Bog, paperback
Udgivelsesdato:
01-01-2006
Sprog:
Engelsk
Sidetal:
320
Læsernes anmeldelser
(0 anmeldelser)
  1. Beskrivelse

    Logic has acquired a reputation for being difficult, 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 which will lead to a much greater confidence in manual proofs, in turn leading to a greater confidence in automated proofs.

  2. Yderligere info
    ISBN13:
    9781857286533
    Forlag:
    Crc Press
    Format:
    Paperback
    Udgave:
    0
  3. Anmeldelser

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.