Carte Artificial Intelligence, Automated Reasoning, and Symbolic Computation Jacques Calmet

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

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

Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
275.71 lei
This book constitutes the refereed proceedings of the joint International Conferences on Artificial...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2002
Pagini
350
EAN
9783540438656
ISBN
3540438653
Enbook ID
01564431
Greutate
513
Dimensiuni
155 x 235 x 19

Descriere completă

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.

S-ar putea să te intereseze

275.71 lei
2 194.97 lei
334.11 lei
698.08 lei
370.29 lei
283.65 lei

Clienții care au cumpărat această carte au mai cumpărat și

35.97 lei
64.22 lei

Insectos

Corts Rovira
42.71 lei
191.27 lei

Die Groensundfahrer

Klaus Schmoldt
62.81 lei

Ile Du Silence

Lucy Wadham
80.80 lei
252.39 lei
443.37 lei

Das Offene

Giorgio Agamben
58.59 lei
75.38 lei