Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Name: Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Brand: Springer, Berlin
SKU: 9783540438656
Price: 214.83 PLN
Availability: InStock

Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

Autor: Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

214.83 zł

This book constitutes the refereed proceedings of the joint International Conferences on Artificial...

Informacje o książce

Autor

Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2002

strony

350

EAN

9783540438656

ISBN

3540438653

Enbook ID

01564431

Wydawca

Springer, Berlin

Waga

513

Wymiary

155 x 235 x 19

Pełny opis

This book constitutes the refereed proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, AISC 2002, and Calculemus 2002 held in Marseille, France, in July 2002.The 24 revised full papers presented together with 2 system descriptions were carefully reviewed and selected from 52 submissions. Among the topics covered are automated theorem proving, logical reasoning, mathematical modeling, algebraic computations, computational mathematics, and applications in engineering and industrial practice.

Możesz być zainteresowany

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

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

Informacje o książce

Pełny opis

Możesz być zainteresowany

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