|
by Barendregt, H. P., Dekkers, Wil, Statman, Richard, Alessi, Fabio
Published 2013
Subjects:
“...Lambda calculus...”Published 2013
Cambridge University Press
|
by Grötschel, Martin, Lovasz, Laszlo, Schrijver, Alexander
Published 1993
Subjects:
“...Calculus of Variations and Optimization...”Published 1993
Springer Berlin Heidelberg
- 1
- 2