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. Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning

af John Harrison
Handbook of Practical Logic and Automated Reasoning af John Harrison
Bag om Handbook of Practical Logic and Automated Reasoning

A self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. It's ideal for those seeking a one-stop source for the subject. The approach is constructive, concrete and algorithmic: importantly, methods are described with reference to actual implementations (for which code is supplied).

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521899574
  • Indbinding:
  • Hardback
  • Sideantal:
  • 702
  • Udgivet:
  • 12. marts 2009
  • Størrelse:
  • 252x179x42 mm.
  • Vægt:
  • 1392 g.
  • 8-11 hverdage.
  • 16. december 2024
Forlænget returret til d. 31. januar 2025

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 John Harrison

Vis alle bøger af John Harrison

Beskrivelse af Handbook of Practical Logic and Automated Reasoning

A self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. It's ideal for those seeking a one-stop source for the subject. The approach is constructive, concrete and algorithmic: importantly, methods are described with reference to actual implementations (for which code is supplied).

Brugerbedømmelser af Handbook of Practical Logic and Automated Reasoning



Andre købte også..
Find lignende bøger
Bogen Handbook of Practical Logic and Automated Reasoning findes i følgende kategorier: