Artificial Intelligence and Symbolic Computation

Name: Artificial Intelligence and Symbolic Computation
Brand: Springer, Berlin
SKU: 9783540397281
Price: 275.89 RON
Availability: InStock

8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

Autor: Jaques Calmet, Tetsuo Ida, Dongming Wang

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

275.89 lei

Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and...

Informații despre carte

Autor

Jaques Calmet, Tetsuo Ida, Dongming Wang

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2006

Pagini

269

EAN

9783540397281

ISBN

3540397280

Enbook ID

01562600

Editura

Springer, Berlin

Greutate

408

Dimensiuni

155 x 235 x 15

Descriere completă

Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006.§The book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management. Coverage includes mathematical foundations, implementations, and applications in industry and academia.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Artificial Intelligence and Symbolic Computation

8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și