InstitucionesIdentificadores de autorPeriodo de publicación recogido
|
|
|
Tutorial to locales and locale interpretation
Clemens Ballarin
Contribuciones científicas en honor de Mirian Andrés Gómez / coord. por Laureano Lambán Pardo, Ana Romero Ibáñez, Julio Rubio García; Mirian Andrés Gómez (hom.), 2010, ISBN 978-84-96487-50-5, págs. 123-140
Towards an automated proof of the Basic Perturbation Lemma
Jesús María Aransay Azofra, Julio Rubio García, Clemens Ballarin
Actas del EACA-2002: Octavo Encuentro de Álgebra Computacional y Aplicaciones, Peñaranda de Duero, 11-13 septiembre de 2002 / coord. por Philippe Giménez, 2002, págs. 91-94
Razonamiento mecanizado en álgebra homológica
Tesis doctoral dirigida por Clemens Ballarin (dir. tes.), Julio Rubio García (dir. tes.). Universidad de La Rioja (2006).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados