TY - BOOK AU - Prudhomme,Gerard TI - Automata theory and logic SN - 9781773612713 AV - TJ211 A836 PY - 2018///] CY - Oakville, ON PB - Arcler Press KW - Robots KW - Teoría de las máquinas KW - Lógica computacional ER -