Books in category Mathematics – Logic

  • Architecture of Systems Problem Solving

    Architecture of Systems Problem Solving
    George Klir, Doug Elias

    One criterion for classifying books is whether they are written for a single pur pose or for multiple purposes. This book belongs to the category of multipurpose books, but one of its roles is predominant-it is primarily a textbook.

  • Fuzziness and Approximate Reasoning

    Fuzziness and Approximate Reasoning
    Kofi Kissi Dompere

    This monograph is special in its orientation and contribution to current state of our understanding of decision-choice process and knowledge production.

  • Logic Program Synthesis and Transformation 5th International Volume 5

    Logic Program Synthesis and Transformation: 5th International …, Volume 5
    Maurizio Proietti

    This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 …

  • Reachability Problems

    Reachability Problems
    Olivier Bournez, Igor Potapov

    Reachability Problems 2009 was hosted as an edition of the annual LIX Fall Colloquium. The LIX Fall Colloquium is the annual colloquium organized by the computer science laboratory of Ecole Polytechnique.

  • Axiomatic Set Theory

    Axiomatic Set Theory
    Patrick Suppes

    Geared toward upper-level undergraduates and graduate students, this treatment examines the basic paradoxes and history of set theory and advanced topics such as relations and functions, equipollence, more. 1960 edition.

  • Ideals Varieties and Algorithms

    Ideals, Varieties, and Algorithms
    David A Cox, John Little, Donal O’Shea

    This book details the heart and soul of modern commutative and algebraic geometry.

  • Neural Nets

    Neural Nets
    Bruno Apolloni

    This book constitutes the thoroughly refereed postproceedings of the 16th Italian Workshop on Neural Nets, WIRN 2005, as well as the satellite International Workshop on Natural and Artificial Immune Systems, NAIS 2005, held in Vietri sul …

  • Term Rewriting and Applications

    Term Rewriting and Applications
    Franz Baader

    This book constitutes the refereed proceedings of the 18th International Conference on Rewriting Techniques and Applications, RTA 2007, held in Paris, France in June 2007 in conjunction with TLCA 2007, the 8th International Conference on …

  • Intelligent Computer Mathematics

    Intelligent Computer Mathematics
    James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban

    This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on …

  • CIAA 2003 Volume 7

    CIAA 2003, Volume 7
    Jean-Marc Champarnaud, Denis Maurel

    The refereed post-proceedings of the 7th International Conference on Implementation and Application of Automata, CIAA 2002, held in Tours, France, in July 2002.The 28 revised full papers presented together with an invited paper and 4 short …

1 2 3 4 5 Next >