Julio
Rubio García
CATEDRÁTICO DE UNIVERSIDAD
![Foto de Julio](/img/uploaded/934D39571F66883FB3572913A7DCEBA6.jpg)
![Foto de University of Innsbruck](/img/noimage_org.png)
University of Innsbruck
Innsbruck, AustriaUniversity of Innsbruck-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2008
-
A mechanized proof of the Basic Perturbation Lemma
Journal of Automated Reasoning, Vol. 40, Núm. 4, pp. 271-292