Trade-off between information and computability: a technique for automated topological computations

• Autores: Saku Suuriniemi, Lauri Kettunen
• Localización: Compel: International journal for computation and mathematics in electrical and electronic engineering, ISSN 0332-1649, Vol. 22, Nº 3, 2003, págs. 481-494
• Idioma: inglés
• Texto completo no disponible (Saber más ...)