LIBRISTO
LIBROAMANTO
obbligatorio
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 Punto Poste 5.49 Punto Poste 5.49 Punto Bartolini 3.49 DHL 6.99 GLS 7.99

Spedizione gratuita per ordini superiori a 69,99 euro.

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Lingua IngleseInglese
Libro In brossura
Libro Set Theory for Computing Domenico Cantone
Codice Libristo: 01421647
Casa editrice Springer-Verlag New York Inc., settembre 2011
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasonin... Descrizione completa
? points 394 b
160.89
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso


I clienti hanno acquistato anche


Professorin und Mutter - wie geht das? Birgit Piechulla / Libro Rigido
common.buy 21.59
Trollflöjtens mystik Eddie Persson / Libro In brossura
common.buy 30.99
Kniha o vědě Pickover Clifford A. / Libro Rigido
common.buy 27.29
Umiliati e offesi Fëdor Dostoevskij / Libro In brossura
common.buy 12.49

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche


Reviews of Environmental Contamination and Toxicology George W. Ware / Libro In brossura
common.buy 107.29
Multi-Agent Programming Rafael H. Bordini / Libro Rigido
common.buy 160.89
Probabilistic Logic Networks Ben Goertzel / Libro Rigido
common.buy 160.89
Combinatorial Optimization in Communication Networks Maggie Xiaoyan Cheng / Libro In brossura
common.buy 160.89
Quality Management in ART Clinics Fabíola Bento / Libro Rigido
common.buy 157.49
Computational Logic in Multi-Agent Systems Nils Bulling / Libro In brossura
common.buy 51.69
Proof, Computation and Agency Johan Van Benthem / Libro In brossura
common.buy 160.89
50 BEST JOBS FOR YOUR PERSONALITY LAURENCE SHATKIN / Libro In brossura
common.buy 40.89
Pioneering and Independent Spirit Debra Gold Hansen / Libro In brossura
common.buy 27.19
Galen: On Problematical Movements Vivian Nutton / Libro In brossura
common.buy 61.39
The Sewing Circles of Herat Christina Lamb / Libro In brossura
common.buy 16.29
The Trial Lawyer John Ellsworth / Libro In brossura
common.buy 17.29
Evvie Drake Starts Over Linda Holmes / Libro In brossura
common.buy 12.49
Model for Gene Therapy Ward Merkeley / Libro In brossura
common.buy 16.89
Human Perception of Visual Information Bogdan Ionescu / Libro Rigido
common.buy 182.19
The End Times Spiritual Warfare Mother & Refuge / Libro In brossura
common.buy 18.79
Smart Nation Abdullah Alfaiz / Libro In brossura
common.buy 234.19
In preparazione
The Making Of Global Capitalism Leo Panitch / Libro In brossura
common.buy 14.69
Nature for Sale Giovanna Ricoveri / Libro Rigido
common.buy 117.39

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo