A Course on Mathematical Logic
This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning ...
اقرأ المزيد
Algoritmi : Lo spirito dell’informatica = Algorithms: The spirit of information technology
Algorithms are the heart of computer science and mathematics, since without them the use of computers would not be possible. ...
اقرأ المزيد
Computation and Logic in the Real World
This volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability ...
اقرأ المزيد
Computation and Logic in the Real World
This volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability ...
اقرأ المزيد
Computer Science – Theory and Applications : 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...
اقرأ المزيد
Computing and Combinatorics : 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings
The refereed proceedings of the 14th Annual International Computing and Combinatorics Conference, COCOON 2008, held in Dalian, ...
اقرأ المزيد
Grammatical Picture Generation
The book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, ...
اقرأ المزيد
Hypercomputation : Computing Beyond the Church-Turing Barrier
Hypercomputation is a relatively new theory of computation which treats computing methods and devices that transcend the ...
اقرأ المزيد
Interactive Computation
The interaction paradigm provides a new conceptualization of computational phenomena that emphasizes interaction rather than ...
اقرأ المزيد
Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
اقرأ المزيد
Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...
اقرأ المزيد
Logic, Language, Information and Computation
The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...
اقرأ المزيد
Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...
اقرأ المزيد
Logical Approaches to Computational Barriers
The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, ...
اقرأ المزيد
Mathematical Problems from Applied Logic I
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...
اقرأ المزيد
Mathematical Problems from Applied Logic I
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...
اقرأ المزيد
Mathematical Problems from Applied Logic II
Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics ...
اقرأ المزيد
Mathematics and Computation, a Contemporary View : The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006
The 2006 Abel symposium is focusing on contemporary research involving interaction between computer science, computational ...
اقرأ المزيد
New Computational Paradigms : Changing Conceptions of What is Computable
This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...
اقرأ المزيد
Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
اقرأ المزيد
