Automata theory and logic / edited by Gerard Prudhomme - 335 páginas : ilustraciones ISBN: 9781773612713 Subjects--Topical Terms: RobotsTeoría de las máquinasLógica computacional LC Class. No.: TJ211 / A836