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
|