Udvidet returret til d. 31. januar 2025

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:
  • 9780387951973
  • Indbinding:
  • Hardback
  • Sideantal:
  • 409
  • Udgivet:
  • 26. juni 2001
  • Udgave:
  • 2001
  • Størrelse:
  • 234x156x23 mm.
  • Vægt:
  • 851 g.
  • BLACK WEEK
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 9. december 2024

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.