All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
WeiterlesenThis book, dedicated to Mizan Rahman, is made up of a collection of articles on various aspects of q-series and special functions. ...
WeiterlesenThe present text is an introduction to the theory of association schemes. We start with the de?nition of an association scheme ...
WeiterlesenThis book is the first to systematically explore the classification and function theory of complex homogeneous bounded domains. ...
WeiterlesenThis volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
WeiterlesenTransseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...
WeiterlesenThis book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
WeiterlesenThe 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
WeiterlesenMatousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
Weiterlesenfeatures of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
WeiterlesenThis book contains groundbreaking contributions to the philosophical analysis of mathematical practice. Several philosophers ...
WeiterlesenThis monograph offers the only comprehensive, coherent treatment of the theory - in characteristic 2 - of the so-called flock ...
Weiterlesen