Mathematical logic books

<p>This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications...  Read More >>

<p>This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic,...  Read More >>

<p>This book constitutes the refereed proceedings of the 18th International Conference on Theorem Proving in Higher...  Read More >>

Presents formalizations of a proof of the irrationality of the square root of two from scientists using various...  Read More >>

<p>This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software...  Read More >>

<p>This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial...  Read More >>

<p>This book constitutes the refereed proceedings of the 12th Conference of the Spanish Association for Artificial...  Read More >>

<p>Demonstrates how category theory can be used for formal software development. <p><br>The mathematical toolbox...  Read More >>

<p>Complexity science has been a source of new insight in physical and social systems and has demonstrated that...  Read More >>

<p>This book constitutes the refereed proceedings of the 8th International Conference on Developments in Language...  Read More >>

<p>This book constitutes the refereed proceedings of the 5th International Conference on Machines, Computations,...  Read More >>

<p>The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from...  Read More >>

<p>This book constitutes the refereed proceedings of the first International Conference on Computability in Europe,...  Read More >>

<p>This book constitutes the refereed proceedings of the 15th International Conference on Inductive Logic Programming,...  Read More >>

<p>This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic...  Read More >>

<p>This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation...  Read More >>

<p>This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with...  Read More >>

<p>Complete course on Intelligent Agent or AI with focus on contemporary and latest AI technologies and&nbsp; development<p><br>Companion...  Read More >>

<p>A dual purpose textbook. It is uniquely written to cover core material in the foundations of computing for graduate...  Read More >>

The field of agent & multi-agent systems is experiencing tremendous growth whilst that of formal methods has also...  Read More >>

 Read More >>

Offers a treatment of the theory on the polynomial best approximation of functions with respect to maximum norms....  Read More >>

<p>AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom....  Read More >>

<p>This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge...  Read More >>

<p>This book constitutes the refereed proceedings of the 7th International Conference on Cellular Automata for Research...  Read More >>