Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Lee mas
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, ...
Lee mas
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lee mas
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lee mas
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 ...
Lee mas
MacLaurins Physical Dissertations
The Scottish mathematician Colin MacLaurin (1698-1746) is best known for developing and extending Newton’s work in calculus, ...
Lee mas
Machines, Computations, and Universality
Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, ...
Lee mas
Magnetic Monopoles
This monograph addresses the field theoretical aspects of magnetic monopoles. Written for graduate students as well as researchers, ...
Lee mas
Matematica e cultura in Europa
Non è vero che la matematica susciti sempre poco interesse. Questa almeno è l'impressione che si ricava quando lo spunto ...
Lee mas
Mathematica for Theoretical Physics
Mathematica for Theoretical Physics: Electrodynamics, Quantum Mechanics, General Relativity, and Fractals This second edition ...
Lee mas
Mathematica for Theoretical Physics
Mathematica for Theoretical Physics: Classical Mechanics and Nonlinear Dynamics This second edition of Baumann's Mathematica® ...
Lee mas
Mathematical Analysis
The book is divided into three parts. The first part introduces the basic ideas of linear and metric spaces, including the ...
Lee mas
Mathematical Foundations of Computer Science 2005
Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, ...
Lee mas
Mathematical Knowledge Management (vol. # 3863)
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Measure, Integration & Real Analysis
This book welcomes students into the fundamental theory of measure, integration, and real analysis. Focusing on an accessible ...
Lee mas
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Lee mas
Methods in Nonlinear Analysis
Nonlinear analysis has developed rapidly in the last three decades. Theories, techniques and results in many different branches ...
Lee mas
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 ...
Lee mas
