Jesús María
Aransay Azofra
PROFESOR CONTRATADO DOCTOR -TIPO 1
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