Książka Artificial Intelligence and Symbolic Computation Jacques Calmet

Artificial Intelligence and Symbolic Computation

International Symposium, AISC '98, Plattsburgh, New York, USA, September 16-18, 1998. Proceedings

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy w małych ilościach
Wysyłamy za 11-15 dni
240.90
This book constitutes the refereed proceedings of the International Conference on Artificial Intelli...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1998
strony
316
EAN
9783540649601
ISBN
3540649603
Enbook ID
05274871
Waga
430
Wymiary
156 x 234 x 17

Pełny opis

This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery.

Możesz być zainteresowany

Super Agers

Eric Topol
74.66
65.59

Socdem

Benjamin T. Tolosa
200.69

Soaring with the Eagles

Kenneth W. Hagin
58.75
33.86

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

Body Secrets, 2 DVDs

Marcus Schenkenberg
80.62

Fulla

Katarína Bajcurová
327.97