Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
اقرأ المزيد
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 (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
اقرأ المزيد
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
اقرأ المزيد
Lost Causes in and beyond Physics
Lost Causes in and Beyond Physics deals with a selection of research topics mostly from theoretical physics that have been ...
اقرأ المزيد
MacLaurins Physical Dissertations
The Scottish mathematician Colin MacLaurin (1698-1746) is best known for developing and extending Newton’s work in calculus, ...
اقرأ المزيد
Machines, Computations, and Universality
Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, ...
اقرأ المزيد
Magnetic Monopoles
This monograph addresses the field theoretical aspects of magnetic monopoles. Written for graduate students as well as researchers, ...
اقرأ المزيد
Matematica e cultura in Europa
Non è vero che la matematica susciti sempre poco interesse. Questa almeno è l'impressione che si ricava quando lo spunto ...
اقرأ المزيد
Mathematica for Theoretical Physics
Mathematica for Theoretical Physics: Electrodynamics, Quantum Mechanics, General Relativity, and Fractals This second edition ...
اقرأ المزيد
Mathematica for Theoretical Physics
Mathematica for Theoretical Physics: Classical Mechanics and Nonlinear Dynamics This second edition of Baumann's Mathematica® ...
اقرأ المزيد
Mathematical Analysis
The book is divided into three parts. The first part introduces the basic ideas of linear and metric spaces, including the ...
اقرأ المزيد
Mathematical Foundations of Computer Science 2005
Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, ...
اقرأ المزيد
Mathematical Knowledge Management (vol. # 3863)
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
اقرأ المزيد
Mathematical Methods for Mechanics : A Handbook with MATLAB Experiments
The interaction between mathematics and mechanics is a never ending source of new developments. Today, challenging problems ...
اقرأ المزيد
Mathématiques de base pour économistes = Basic Mathematics for Economists
This book contains fundamental elements of mathematics and includes the following elements: notion of logic, propositions, ...
اقرأ المزيد
Measure, Integration & Real Analysis
This book welcomes students into the fundamental theory of measure, integration, and real analysis. Focusing on an accessible ...
اقرأ المزيد
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
اقرأ المزيد
Methods in Nonlinear Analysis
Nonlinear analysis has developed rapidly in the last three decades. Theories, techniques and results in many different branches ...
اقرأ المزيد
Micromechanics and Nanosimulation of Metals and Composites : Advanced Methods and Theoretical Concepts
This book provides insight into advanced numerical and experimental investigations of the microstructural aspects of strength ...
اقرأ المزيد
