De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Set Theory for Computing

Set Theory for Computing

- From Decision Procedures to Declarative Programming with Sets

af Domenico Cantone, Eugenio Omodeo, Alberto Policriti

indgår i Monographs in Computer Science serien

Set Theory for Computing af Domenico Cantone
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.
  • 8-11 hverdage.
  • 29. november 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Domenico Cantone

Vis alle bøger af Domenico Cantone

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



Andre købte også..
Find lignende bøger
Bogen Set Theory for Computing findes i følgende kategorier: