Local and Semi-Local Bifurcations in Hamiltonian Dynamical Systems
Once again KAM theory is committed in the context of nearly integrable Hamiltonian systems. While elliptic and hyperbolic ...
اقرأ المزيد
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)
This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
اقرأ المزيد
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
اقرأ المزيد
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
اقرأ المزيد
Matematica e cultura in Europa
Non è vero che la matematica susciti sempre poco interesse. Questa almeno è l'impressione che si ricava quando lo spunto ...
اقرأ المزيد
Mathematical Knowledge Management (vol. # 3863)
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
اقرأ المزيد
Mathematical Problems from Applied Logic II
Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics ...
اقرأ المزيد
Mathematics and Culture II
This book presents the mathematical foundations of systems theory in a self-contained, comprehensive, detailed and mathematically ...
اقرأ المزيد
Modalities and Multimodalities
In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
اقرأ المزيد
New Computational Paradigms
This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...
اقرأ المزيد
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 ...
اقرأ المزيد
Numerical Methods for Controlled Stochastic Delay Systems
The Markov chain approximation methods are widely used for the numerical solution of nonlinear stochastic control problems ...
اقرأ المزيد
One Hundred Years of Intuitionism (1907-2007) : The Cerisy Conference
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; ...
اقرأ المزيد
Paul Lorenzen -- Mathematician and Logician
This book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th ...
اقرأ المزيد
Positive Operators
this monograph presents a comprehensive study of positive operators between Riesz spaces and Banach lattices. Since the first ...
اقرأ المزيد
Proofs from the Book
Proofs from THE BOOK è un'opera straordinaria che ha saputo calamitare l'interesse di numerosissimi lettori, matematici ...
اقرأ المزيد
Proofs from the Book
Proofs from THE BOOK è un'opera straordinaria che ha saputo calamitare l'interesse di numerosissimi lettori, matematici ...
اقرأ المزيد
Propositional and Predicate Calculus: A Model of Argument
The topics in the book include: - the representation of mathematical statements by formulas in a formal language. - the interpretation ...
اقرأ المزيد
Putnam and Beyond
Putnam and Beyond takes the reader on a journey through the world of college mathematics, focusing on some of the most important ...
اقرأ المزيد
Ramsey Methods in Analysis
This book introduces graduate students and resarchers to the study of the geometry of Banach spaces using combinatorial methods. ...
اقرأ المزيد
