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