Normal view
MARC view
Autexier, Serge (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): AISC (Conference) (9th : 2008 : Birmingham, England) 31135, Intelligent computer mathematics :, ©2008.