Black Week: Spar op til 85% Spar op til 85% på et kæmpe udvalg af gode bøger
Udvidet returret til d. 31. januar 2025
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 - Domenico Cantone - Bog

- 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.
  • 9. december 2024

Normalpris

  • BLACK WEEK

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Gør som tusindvis af andre bogelskere

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