Książka 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

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
214.22
This book constitutes the refereed proceedings of the Third International Conference on Artificial I...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1996
strony
384
EAN
9783540617327
ISBN
3540617329
Enbook ID
01566211
Waga
516
Wymiary
156 x 234 x 20

Pełny opis

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.

Możesz być zainteresowany

Out of the Dark

Robert W. Chambers
48.00

Homeward Bound

Jonathan Shaw
117.22
121.83

Lost Wirral

Les Jones
70.78
54.19
80.01
34.94
353.84

Bacterial Pili

Michele A. Barocchi
590.07
68.33

Liar's Key

Mark Lawrence
49.18

Klienci, którzy kupili tę książkę, kupili również

Tudy cesta nevede

Elisabeth Badinterová
24.63
236.71

Ema a kouzelná kniha

Petra Braunová
35.83
140.88

Trauriger Engel

Daniel Raifura
52.62
133.13