Related Books

Beyond the Horizon of Computability
Language: en
Pages: 379
Authors: Marcella Anselmo
Categories: Computers
Type: BOOK - Published: 2020-06-23 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June
Mathematics For Computation (M4c)
Language: en
Pages: 477
Authors: Marco Benini
Categories: Mathematics
Type: BOOK - Published: 2023-03-21 - Publisher: World Scientific

DOWNLOAD EBOOK

The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the in
Programming Languages and Systems
Language: en
Pages: 604
Authors: Ilya Sergey
Categories: Computers
Type: BOOK - Published: 2022-03-28 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Ge
Reflections on the Foundations of Mathematics
Language: en
Pages:
Authors: Wilfried Sieg
Categories: Mathematics
Type: BOOK - Published: 2017-03-30 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books
Automated Reasoning
Language: en
Pages: 553
Authors: Nicolas Peltier
Categories: Mathematics
Type: BOOK - Published: 2020-06-30 - Publisher: Springer Nature

DOWNLOAD EBOOK

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, hel