Normal view
MARC view
Calculemus 2000 (2002 : Marseille, France) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): AISC (Conference) (6th : 2002 : Marseille, France) 16409, Artificial intelligence, automated reasoning, and symbolic computation :, ©2002.