Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings
Jacques Calmet ... [et l.] (eds.)
Bok Engelsk 2002 AISC 2002
| Utgitt | Berlin : Springer , c2002
|
|---|---|
| Omfang | XI, 341 s. : ill.
|
| Emner | |
| ISBN | 3540438653
|
