Normal view
MARC view
ICTAC (Colloquium) (10th : 2013 : Shanghai, China) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): ICTAC (Colloquium) (10th : 2013 : Shanghai, China), Theoretical aspects of computing -- ICTAC 2013 :