Kniha Artificial Intelligence and Symbolic Mathematical Computation Jacques Calmet

Artificial Intelligence and Symbolic Mathematical Computation

International Conference, AISMC-3, Steyr, Austria, September 23-25, 1996. Proceedings

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the refereed proceedings of the Third International Conference on Artificial I...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1996
Stránek
384
EAN
9783540617327
ISBN
3540617329
Enbook ID
01566211
Vydavatel
Hmotnost
516
Rozměry
156 x 234 x 20

Kompletní popis

This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction.

Mohlo by vás zajímat

Out of the Dark

Robert W. Chambers
241

Homeward Bound

Jonathan Shaw
622
653

Lost Wirral

Les Jones
373
290
185
1 903

Bacterial Pili

Michele A. Barocchi
3 336
368

Liar's Key

Mark Lawrence
241

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

Tudy cesta nevede

Elisabeth Badinterová
146
1 340

Ema a kouzelná kniha

Petra Braunová
219

Trauriger Engel

Daniel Raifura
280