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