Markedets billigste bøger
Levering: 1 - 2 hverdage

Set Theory for Computing

- From Decision Procedures to Declarative Programming with Sets

Bag om Set Theory for Computing

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781441929051
  • Indbinding:
  • Paperback
  • Sideantal:
  • 409
  • Udgivet:
  • 21. september 2011
  • Udgave:
  • 12001
  • Størrelse:
  • 235x155x22 mm.
  • Vægt:
  • 652 g.
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 28. januar 2025

Beskrivelse af Set Theory for Computing

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

Brugerbedømmelser af Set Theory for Computing



Find lignende bøger
Bogen Set Theory for Computing findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.