Books in category Mathematics – Logic

  • Machine Learning and Data Mining in Pattern Recognition

    Machine Learning and Data Mining in Pattern Recognition
    Petra Perner, Atsushi Imiya

    This was the fourth edition of MLDM in Pattern Recognition which is the main event of Technical Committee 17 of the International Association for Pattern Recognition; it started out as a workshop and continued as a conference in 2003.

  • Computers Rigidity and Moduli

    Computers, Rigidity, and Moduli
    Shmuel Weinberger

    This book is the first to present a new area of mathematical research that combines topology, geometry, and logic.

  • Math Bytes

    Math Bytes
    Tim Chartier

    This book provides a fun, hands-on approach to learning how mathematics and computing relate to the world around us and help us to better understand it.

  • Proof Analysis

    Proof Analysis
    Sara Negri, Jan von Plato

    This book continues from where the authors' previous book, Structural Proof Theory, ended.

  • Isabelle HOL

    Isabelle/HOL
    Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

    This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002.

  • Integration of World Knowledge for Natural Language Understanding

    Integration of World Knowledge for Natural Language Understanding
    Ekaterina Ovchinnikova

    This book concerns non-linguistic knowledge required to perform computational natural language understanding (NLU). The main objective of the book is to show that inference-based NLU has the potential for practical large scale applications.

  • Abstraction Reformulation and Approximation

    Abstraction, Reformulation, and Approximation
    Berthe Y. Choueiry, Toby Walsh

    This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA).

  • The GCHQ Puzzle Book

    The GCHQ Puzzle Book
    GCHQ

    In this book you will find: – Tips on how to get into the mindset of a codebreaker – Puzzles ranging in difficulty from easy to brain-bending – A competition section where we search for Britain's smartest puzzler Good luck!

  • A Course in Model Theory

    A Course in Model Theory
    Katrin Tent, Martin Ziegler

    Concise introduction to current topics in model theory, including simple and stable theories.

  • Logic Mathematics Philosophy Vintage Enthusiasms

    Logic, Mathematics, Philosophy, Vintage Enthusiasms
    David DeVidi, Michael Hallett, Peter Clark

    The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers.

1 2 3 4 5 Next >