Books in category Mathematics – Logic

  • Constraint Logic Programming using Eclipse

    Constraint Logic Programming using Eclipse
    Krzysztof R. Apt, Mark Wallace

    Eclipse is exploited commercially by Cisco, and is freely available and used for teaching and research in over 500 universities. This book has a two-fold purpose.

  • Finite Automata Their Algebras and Grammars

    Finite Automata, Their Algebras and Grammars
    J. Richard Büchi

    In this way he covers the basic theory as well as many nonstandard subjects. Thus the book serves as a textbook for both the beginner and the advances student, and also as a rich source for the expert.

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

  • Logic Based Decision Support

    Logic-Based Decision Support
    R.G. Jeroslow

    This is followed by five chapters on applied logic, expert systems, logic and databases, and complexity theory. It concludes with a summary of open research issues and an attempt to extrapolate trends in this rapidly developing area.

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

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

  • Basic Discrete Mathematics

    Basic Discrete Mathematics
    Richard Kohar

    This lively introductory text exposes the student in the humanities to the world of discrete mathematics. A problem-solving based approach grounded in the ideas of George Pólya are at the heart of this book.

  • Automatic Ambiguity Resolution in Natural Language Processing

    Automatic Ambiguity Resolution in Natural Language Processing
    Alexander Franz

    This is an exciting time for Artificial Intelligence, and for Natural Language Processing in particular.

  • Introduction to Coalgebra

    Introduction to Coalgebra

    An accessible introduction to coalgebra, with clear mathematical explanations and numerous examples and exercises.

1 2 3 4 5 Next >