Computer Science – Theory and Applications

Discover the cutting-edge insights in "Computer Science – Theory and Applications," authored by Alexander S. Kulikov and published by Springer International Publishing AG in 2016. This first edition, spanning 425 pages, compiles the proceedings of the 11th International Computer Science Symposium in Russia, held in the historic city of St. Petersburg in June 2016.

Featuring 28 meticulously reviewed full papers selected from 71 submissions, this volume delves into the intricate relationship between proof theory and the applications of logic within the realm of computer science. Ideal for researchers, students, and professionals alike, this book serves as a valuable resource for anyone looking to deepen their understanding of contemporary computer science theories and their practical applications. Enhance your knowledge and stay ahead in the ever-evolving field of technology with this essential read.