Normal view
MARC view
Logic,Symbolic and mathematical --Congresses (Topical Term)
Machine generated authority record
Work cat.: (OSt)21906: International Conference,CICM(2014:Coimbra, Portugal) 46690, Intelligent computer mathematics :, 2014.