1
by Simpson, Stephen G.
Published 2009
Cambridge University Press
Subjects: ...Predicate calculus...

2
by Barendregt, H. P., Dekkers, Wil, Statman, Richard, Alessi, Fabio
Published 2013
Cambridge University Press
Subjects: ...Lambda calculus...

3
by Bang-Jensen, Jørgen, Gutin, Gregory Z.
Published 2009
Springer London
Subjects: ...Calculus of Variations and Optimization...

4
by Bang-Jensen, Jorgen, Gutin, Gregory Z.
Published 2002
Springer London
Subjects: ...Calculus of Variations and Optimization...

5
by Hindley, J. Roger, Seldin, J. P.
Published 2008
Cambridge University Press
Subjects: ...Lambda calculus...

6
by Korte, Bernhard, Vygen, Jens
Published 2006
Springer Berlin Heidelberg
Subjects: ...Calculus of Variations and Optimization...

7
by Korte, Bernhard, Vygen, Jens
Published 2000
Springer Berlin Heidelberg
Subjects: ...Calculus of Variations and Optimization...

8
by Korte, Bernhard, Vygen, Jens
Published 2002
Springer Berlin Heidelberg
Subjects: ...Calculus of Variations and Optimization...

9
Published 1999
Springer Netherlands
Subjects: ...Calculus of Variations and Optimization...

10
by Babuška, Robert
Published 1998
Springer Netherlands
Subjects: ...Calculus of Variations and Optimization...

11
by Foulds, L. R.
Published 1984
Springer New York
Subjects: ...Calculus of Variations and Optimization...

12
by Höhle, Ulrich, Rodabaugh, S.E.
Published 1999
Springer US
Subjects: ...Calculus of Variations and Optimization...

13
Published 2019
Springer International Publishing
Subjects: ...Calculus of Variations and Optimization...

14
by Kolokoltsov, Vassili N., Maslov, Victor P.
Published 1997
Springer Netherlands
Subjects: ...Calculus of Variations and Optimization...

15
by Grötschel, Martin, Lovasz, Laszlo, Schrijver, Alexander
Published 1993
Springer Berlin Heidelberg
Subjects: ...Calculus of Variations and Optimization...

16
by Alevras, Dimitris, Padberg, Manfred W.
Published 2001
Springer Berlin Heidelberg
Subjects: ...Calculus of Variations and Optimization...

17
by Korte, Bernhard, Vygen, Jens
Published 2018
Springer Berlin Heidelberg
Subjects: ...Calculus of Variations and Optimization...

18
by Korte, Bernhard, Vygen, Jens
Published 2012
Springer Berlin Heidelberg
Subjects: ...Calculus of Variations and Optimization...

19
by Korte, Bernhard, Vygen, Jens
Published 2012
Springer Berlin Heidelberg
Subjects: ...Calculus of Variations and Optimization...

20
by Korte, Bernhard, Vygen, Jens
Published 2008
Springer Berlin Heidelberg
Subjects: ...Calculus of Variations and Optimization...