libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

fleuriot jacques (curatore); wang dongming (curatore); calmet jacques (curatore) - artificial intelligence and symbolic computation

Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

; ;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
54,98 €
NICEPRICE
52,23 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 08/2018
Edizione: 1st ed. 2018





Trama

This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018.

The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning.

 





Sommario

Artificial Intelligence, Theorem Proving and SAT Solving.- Symbolic and Numerical Computation.- Intelligent Documents and Collective Intelligence.











Altre Informazioni

ISBN:

9783319999562

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes:X, 269 p. 59 illus.
Pagine Arabe: 269
Pagine Romane: x


Dicono di noi