Artificial Intelligence and Symbolic Computation

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

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

Autor: Jaques Calmet, Tetsuo Ida, Dongming Wang

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

49.99 €

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

Informácie o knihe

Autor

Jaques Calmet, Tetsuo Ida, Dongming Wang

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2006

Stránok

269

EAN

9783540397281

ISBN

3540397280

Enbook ID

01562600

Vydavateľ

Springer, Berlin

Hmotnosť

408

Rozmery

155 x 235 x 15

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Artificial Intelligence and Symbolic Computation

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež