Alta reperibilità
Handbook of Practical Logic and Automated Reasoning
- Editore:
Cambridge University Press
- EAN:
9780521899574
- ISBN:
0521899575
- Pagine:
- 702
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione 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).
o 3 rate da € 54.72 senza interessi con 
Disponibile in 10-12 giorni
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoiRecensioni degli utenti
e condividi la tua opinione con gli altri utenti
