Comunicare con i dati : l'informazione tra data journalism e data visualization / Mara Pometti, Francesco Tissoni

• Record Nr.: UNICAMPANIAVAN00279193
• Autore: Pometti, Mara
• Pubbl/distr/stampa: Milano, : Ledizioni, 2018
• ISBN: 978-88-670-5729-0
• Descrizione fisica: 150 p. : ill. ; 24 cm
• Altri autori (Persone): Tissoni, Francesco
• Disciplina: 005.74
• Soggetti: ARCHIVI DI DATI
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Principles of automated theorem proving / David A. Duffy

• Record Nr.: UNISANNIOMIL0162997
• Autore: Duffy, David A.
• Pubbl/distr/stampa: Chichester [etc.], : Wiley, c1991
• ISBN: 0471927848
• Descrizione fisica: XVIII, 243 p. ; 24 cm
• Collana: Wiley professional computing
• Disciplina: 511.3
• Soggetti: Logica matematica
• Collocazione: SALA DING 511.3 DUF.pr
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliografia: P. [225]-232.