Books in category Mathematics – Logic

  • 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.

  • Taming the Unknown

    Taming the Unknown
    Victor J. Katz, Karen Hunger Parshall

    Taming the Unknown follows algebra’s remarkable growth through different epochs around the globe.

  • Higher Order Logic Theorem Proving and Its Applications 7th Volume 7

    Higher Order Logic Theorem Proving and Its Applications: 7th …, Volume 7
    Thomas F. Melham, Juanito Camilleri

    This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.

  • Complexity Knots Colourings and Countings

    Complexity: Knots, Colourings and Countings
    Dominic Welsh

    These notes are based on a series of lectures given at the Advanced Research Institute of Discrete Applied Mathematics, Rutgers University.

  • Automata Implementation

    Automata Implementation
    Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi

    This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Implementing Automata, WIA'98, held in Rouen, France, in September 1998.

  • Verification of Object Oriented Software The KeY Approach

    Verification of Object-Oriented Software. The KeY Approach
    Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

    Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book.

  • 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 …

  • Practical Reasoning

    Practical Reasoning
    Dov M. Gabbay, Hans Jürgen Ohlbach

    This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996.

  • 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 …

1 2 3 4 5 Next >