fbevnts Reasoning about names in higher-order abstract syntax | Libreria Cortina Milano
Vai al contenuto della pagina
Bottega storica milanese
Libreria Cortina
Bottega storica milanese dal 1947
Carta della cultura Carte della cultura e del merito Carta del docente
0

Reasoning about names in higher-order abstract syntax

Consulta il libro - Reasoning about names in higher-order abstract syntax

Reasoning about names in higher-order abstract syntax
Reasoning about names in higher-order abstract syntax
Titolo Reasoning about names in higher-order abstract syntax
Autore
argomento
Scienza e Tecnica Informatica Scienza dei calcolatori
Collana Phd thesis series
Editore Forum Edizioni
Formato
Formato Libro Libro
Pagine 184
Pubblicazione 2002
ISBN 9788884200808
Carta del docente Carta Cultura Giovani Carta della Cultura Acquistabile con Carta del docente, Carta Cultura Giovani o Carta della Cultura
 
15,00 €
 
Momentaneamente non disponibile

Catalogo

Ti potrebbe interessare anche

novità Manuale tecnico di AI per l'ingegneria civile. Dalla Point Cloud ai modelli parametrici HBriM e FEM per strutture e infrastrutture

Manuale tecnico di AI per l'ingegneria civile. Dalla Point Cloud ai modelli parametrici HBriM e FEM per strutture e infrastrutture

42,00 € 39,90 €
novità Allevare nell'età dell'IA. Animali, dati e senso

Allevare nell'età dell'IA. Animali, dati e senso

Andrea Rosati

19,00 € 18,05 €
novità Magnificamente umani. I dieci comandamenti dell'intelligenza artificiale

Magnificamente umani. I dieci comandamenti dell'intelligenza artificiale

Jamie Metzl

22,00 € 20,90 €
Intelligenza Artificiale generativa per progettisti. Metodi e strumenti per una pratica progettuale aumentata

Intelligenza Artificiale generativa per progettisti. Metodi e strumenti per una pratica progettuale aumentata

Luciana Mastrolia , Federica Joe Gardella

31,00 € 29,45 €
 Intelligenza artificiale, diritto tributario e tutela dei diritti. Atto algoritmico, vizi, responsabilità, danni, riflessi processuali, protezione dei diritti umani

 Intelligenza artificiale, diritto tributario e tutela dei diritti. Atto algoritmico, vizi, responsabilità, danni, riflessi processuali, protezione dei diritti umani

Alessio Liberati

39,00 € 37,05 €
La stupidità artificiale. Per una politica delle tecnologie digitali

La stupidità artificiale. Per una politica delle tecnologie digitali

Anne Alombert

15,00 € 14,25 €
Mappe e intelligenza artificiale. Strumenti concreti per organizzare il pensiero e sostenere l'apprendimento nella scuola inclusiva. Guida per tutor, insegnanti, clinici e genitori

Mappe e intelligenza artificiale. Strumenti concreti per organizzare il pensiero e sostenere l'apprendimento nella scuola inclusiva. Guida per tutor, insegnanti, clinici e genitori

Sabrina Mezzadri

24,00 €
Post-umani. Le 7 rivoluzioni dell'intelligenza artificiale

Post-umani. Le 7 rivoluzioni dell'intelligenza artificiale

Davide Casaleggio

19,00 € 18,05 €
Incoscienza artificiale. Come fanno le macchine a prevedere per noi

Incoscienza artificiale. Come fanno le macchine a prevedere per noi

Massimo Chiriatti

14,00 € 13,30 €
Bottega storica milanese
Libreria Cortina
Bottega storica milanese dal 1947
Libreria Universitaria Cortina

Libreria Cortina S.R.L.

Largo Francesco Richini, 1
20122 Milano
PEC libreriacortinasrl@legalmail.it
P.IVA IT 08331270150
R.E.A. Milano 1216291
Capitale sociale: 468.800,00 i.v.

Realizzazione:
Powered by:

Inserire il codice per il download.

Chiudi

Inserire il codice per attivare il servizio.

Chiudi
Reasoning about names in higher-order abstract syntax