Vi bøger
Trustpilot
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 - 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.
  • 2-3 uger.
  • 10. Juli 2024

Normalpris

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.