2010, - Ways of Proof Theory, Oitavem,I
2010, Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010., Kahle,R;Oitavem,I
2010, Electronic Journal of Combinatorics, Bentz,W
2010, EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, Correia,I;Nickel,S;Saldanha da Gama,F
2010, TRANSPORTATION RESEARCH PART B-METHODOLOGICAL, Correia,I;Nickel,S;Saldanha da Gama,F
2010, NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS I-III, Stollenwerk,N;Aguiar,M;Simos,TE;Psihoyios,G;Tsitouras,C
2010, OPERATORS AND MATRICES, Fernandes,R;da Cruz,HF
2010, NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS I-III, Diogo,T;Lima,P;Rebelo,M;Simos,TE;Psihoyios,G;Tsitouras,C
2010, TOPOLOGY AND ITS APPLICATIONS, Tabuada,G
2010, OPERATOR ALGEBRAS, OPERATOR THEORY AND APPLICATIONS, Karlovich,AY