Artificial Intelligence and Symbolic Computation

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

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

Autor: Jaques Calmet, Tetsuo Ida, Dongming Wang

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Jaques Calmet, Tetsuo Ida, Dongming Wang

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2006

Stránek

269

EAN

9783540397281

ISBN

3540397280

Enbook ID

01562600

Vydavatel

Springer, Berlin

Hmotnost

408

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Artificial Intelligence and Symbolic Computation

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také