Avdelningen för matematik och statistik

  • Finland

Publikationer 1973 2025

Filter
Antologi eller special utgåva
2018

DIGest: digital method for self and peer assessment of exercises in mathematics and statistics university studies

Koskenoja, M. J., Varvio, S-L. M., Piiroinen, J. P., Leivonen, A., Lehtonen, T., Nuutinen, J. & Rantanen, N., 2018, Reading, United Kingdom: Academic Conferences and Publishing International Limited. 8 s.

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

Logic colloquium 2015 proceedings: Preface

Hirvonen, Å. (red.), Scanlon, T. (red.), Väänänen, J. (red.) & Westerståhl, D. (red.), dec 2018, Elsevier. 1243 s. (Annals of Pure and Applied Logic; vol. 169, nr. 12)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

2017

Logic, Language, Information and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Kennedy, J. C. & de Queiroz, R., 2017, Berlin ; Heidelberg: Springer. 401 s. (Lecture Notes in Computer Science. Theoretical Computer Science and General Issues; vol. 10388)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaProfessionell

2016

Dependence Logic: Theory and Applications

Abramsky, S., Kontinen, J. (red.), Väänänen, J. (red.) & Vollmer, H., 2016, Basel: Birkhäuser Basel. 270 s.

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Väänänen, J. (red.), Hirvonen, Å. (red.) & de Queiroz, R. (red.), 2016, Berlin Heidelberg: Springer-Verlag. 447 s. (Lecture Notes in Computer Science; vol. 9803)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

2015

Logic without borders: Essays on set theory, model theory, philosophical logic, and philosophy of mathematics

Hirvonen, Å., Kontinen, J., Kossak, R. & Villaveces, A., 2015, de Gruyter. 421 s. (Ontos Mathematical Logic; vol. 5)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

Novel regularization methods for ill-posed problems in Hilbert and Banach spaces

Bleyer, I. R. & Leitão, A., 2015, Brazil: Publicações matemáticas do IMPA. 121 s. (30 Colóquio Brasileiro de Matemática)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

Fil
2014

Essays in Nonlinear Time Series Econometrics

Haldrup, N. (red.), Meitz, M. (red.) & Saikkonen, P. (red.), jun 2014, Oxford: Oxford University Press. 367 s.

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

Interpreting Gödel: critical essays

Kennedy, J. (red.), 1 jul 2014, Cambridge: Cambridge University Press. 524 s.

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics: AISTATS 2014

Kaski, S. (red.) & Corander, J. (red.), 2014, Journal of Machine Learning Research. (JMLR W&CP; vol. 33)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

2013

Studia Logica Special Issue: Dependence and Independence in Logic

Kontinen, J. (red.), Väänänen, J. (red.) & Westerståhl, D. (red.), apr 2013, Springer. (Studia Logica; vol. 101, nr. 2)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

2012

Computational Algebraic and Analytic Geometry

Seppälä, M. (red.) & Volcheck, E. (red.), 15 jul 2012, American Mathematical Society. 231 s. (Contemporary Mathematics; vol. 572)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

Linear and Nonlinear Inverse Problems with Practical Applications

Mueller, J. L. (red.) & Siltanen, S. (red.), 2012, Society for Industrial and Applied Mathematics. 351 s. (Computational Science & Engineering)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

2011

Set Theory, Arithmetic and Foundations of Mathematics: Theorems, Philosophies

Kennedy, J. & Kossak, R., 2011, Cambridge University Press. 250 s. (Lecture Notes in Logic; vol. 36)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

2003

History of Logic (vol. 1)

Kennedy, J. (red.), 2003, Springer International Publishing AG. (Synthese)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

History of Logic (vol.2)

Kennedy, J., 2003, Springer International Publishing AG.

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review