Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suite
Theory and Applications of Special Functions
This book, dedicated to Mizan Rahman, is made up of a collection of articles on various aspects of q-series and special functions. ...
Lire la suite
Theory of Association Schemes
The present text is an introduction to the theory of association schemes. We start with the de?nition of an association scheme ...
Lire la suite
Theory of Complex Homogeneous Bounded Domains
This book is the first to systematically explore the classification and function theory of complex homogeneous bounded domains. ...
Lire la suite
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lire la suite
Transseries and Real Differential Algebra
Transseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...
Lire la suite
Typed Lambda Calculi and Applications
This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Lire la suite
Types for Proofs and Programs
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Lire la suite
Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry
Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
Lire la suite
Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Lire la suite
Visualization, Explanation and Reasoning Styles in Mathematics
This book contains groundbreaking contributions to the philosophical analysis of mathematical practice. Several philosophers ...
Lire la suite
q-Clan Geometries in Characteristic 2
This monograph offers the only comprehensive, coherent treatment of the theory - in characteristic 2 - of the so-called flock ...
Lire la suite
