Kniha Artificial Intelligence and Symbolic Computation Jaques Calmet

Artificial Intelligence and Symbolic Computation

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

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2006
Stránek
269
EAN
9783540397281
ISBN
3540397280
Enbook ID
01562600
Vydavatel
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

832

Mounting Rareness

James A. Way
211

Wilderness

Jim Morrison
295

Rehoboth, Swansea, and Dighton

Charles Turek Robinson
460

Coastal Engineering Manual Part VI

U. S. Army Corps of Engineers
1 986
4 544
463

In The Track of The Troops

Robert Michael Ballantyne
230
286

Virtuous Cyborg

Chris Bateman
308
401
476
1 129
1 213
1 850
925

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

292

Pasca

Arne Dahl
492

Partitions

di Manno
600

Corporate Development

Bertram Melzig-Thiel
730

Hydrogeographie

Heiko Lindner
318
1 221