Mathematical foundations Books

Mathematical logic
Number systems
Set theory
Sidebar Sidebar Sidebar
  • Fuzzy Logic in Artificial Intelligence Fuzzy Logic in Artificial Intelligence
    Add to Cart The item has been added

    Fuzzy Logic in Artificial Intelligence

    This volume constitutes the thoroughly refereed post-workshop proceedings of an international workshop on fuzzy logic in Artificial Intelligence held in Negoya, Japan during IJCAI '97.The 17 revised...
    $92.00

    Add to Cart The item has been added
  • Lectures on Petri Nets II Lectures on Petri Nets II
    Add to Cart The item has been added

    Lectures on Petri Nets II

    The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a...
    $122.00

    Add to Cart The item has been added
  • Image coming soon
    Add to Cart The item has been added

    Lectures on Petri Nets I

    The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a...
    $116.00

    Add to Cart The item has been added
  • Automated Deduction - CADE-15 Automated Deduction - CADE-15
    Add to Cart The item has been added

    Automated Deduction - CADE-15

    This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited...
    $122.00

    Add to Cart The item has been added
  • Logics in AI Logics in AI
    Add to Cart The item has been added

    Logics in AI

    The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected...
    $227.00

    Add to Cart The item has been added
  • Combinatorics on Traces Combinatorics on Traces
    Add to Cart The item has been added

    Combinatorics on Traces

    Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concurrency are not yet sufficiently developed. This...
    $116.00

    Add to Cart The item has been added
  • CONCUR '90 CONCUR '90
    Add to Cart The item has been added

    CONCUR '90

    This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and...
    $122.00

    Add to Cart The item has been added
  • Attribute Grammars and their Applications Attribute Grammars and their Applications
    Add to Cart The item has been added

    Attribute Grammars and their Applications

    Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particularly so in industry, despite their qualities as a...
    $92.00

    Add to Cart The item has been added
  • Natural Language and Logic Natural Language and Logic
    Add to Cart The item has been added

    Natural Language and Logic

    This volume contains the papers presented at the International Scientific Symposium "Natural Language and Logic" held in Hamburg in May 1989. The aim of the papers is to present and discuss latest...
    $122.00

    Add to Cart The item has been added
  • On the Shape of Mathematical Arguments On the Shape of Mathematical Arguments
    Add to Cart The item has been added

    On the Shape of Mathematical Arguments

    This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how completeness of argument, an important...
    $122.00

    Add to Cart The item has been added
  • CSL '89 CSL '89
    Add to Cart The item has been added

    CSL '89

    This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range...
    $116.00

    Add to Cart The item has been added
  • COLOG-88 COLOG-88
    Add to Cart The item has been added

    COLOG-88

    This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their...
    $92.00

    Add to Cart The item has been added
  • STACS 90 STACS 90
    Add to Cart The item has been added

    STACS 90

    The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Française de Cybernétique Economique et...
    $92.00

    Add to Cart The item has been added
  • Parsing Theory Parsing Theory
    Add to Cart The item has been added

    Parsing Theory

    This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars. Volume I, "Languages and Parsing" (Chapters 1 to 5), was an introduction to the basic...
    $116.00

    Add to Cart The item has been added
  • Interactive Relational Database Design Interactive Relational Database Design
    Add to Cart The item has been added

    Interactive Relational Database Design

    Relational databases have quickly come to be regarded as a natural and efficient way of organizing information. Duplicate data can be eliminated and powerful set-theoretic operations can be used to...
    $122.00

    Add to Cart The item has been added
  • Set Theory and its Applications Set Theory and its Applications
    Add to Cart The item has been added

    Set Theory and its Applications

    The Set Theory and Applications meeting at York University, Ontario, featured both contributed talks and a series of invited lectures on topics central to set theory and to general topology. These...
    $81.00

    Add to Cart The item has been added
  • Numerical Analysis and Parallel Processing Numerical Analysis and Parallel Processing
    Add to Cart The item has been added

    Numerical Analysis and Parallel Processing

    Each week of this three week meeting was a self-contained event, although each had the same underlying theme - the effect of parallel processing on numerical analysis. Each week provided the...
    $65.00

    Add to Cart The item has been added
  • An Introduction to Default Logic An Introduction to Default Logic
    Add to Cart The item has been added

    An Introduction to Default Logic

    This book is written for those who are interested in a fonnalization of human reasoning, especially in order to build "intelligent" computer systems. Thus, it is mainly designed for the Artificial...
    $227.00

    Add to Cart The item has been added
  • Mathematical Logic and Applications Mathematical Logic and Applications
    Add to Cart The item has been added

    Mathematical Logic and Applications

    These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the...
    $108.00

    Add to Cart The item has been added
  • CSL'88 CSL'88
    Add to Cart The item has been added

    CSL'88

    This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from...
    $122.00

    Add to Cart The item has been added
  • Parallel Computing 1988 Parallel Computing 1988
    Add to Cart The item has been added

    Parallel Computing 1988

    Parallel computing research is now yielding a growing stream of results, and the first applications within Shell may be expected to be delivered within a few years. The aim of this conference on...
    $122.00

    Add to Cart The item has been added
  • Foundations of Equational Logic Programming Foundations of Equational Logic Programming
    Add to Cart The item has been added

    Foundations of Equational Logic Programming

    Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic...
    $86.00

    Add to Cart The item has been added
  • Machines, Languages, and Complexity Machines, Languages, and Complexity
    Add to Cart The item has been added

    Machines, Languages, and Complexity

    The volume contains selected contributions from the scientific programme of the 5th International Meeting of Young Computer Scientists (IMYCS '88) held at Smolenice Castle (Czechoslovakia), November...
    $122.00

    Add to Cart The item has been added
  • EUROCAL '87 EUROCAL '87
    Add to Cart The item has been added

    EUROCAL '87

    This is the sixth in a series of conference proceedings of international conferences on computer algebra held in Europe. All the preceding ones have also been published as Lecture Notes in Computer...
    $122.00

    Add to Cart The item has been added
  • Algebraic and Logic Programming Algebraic and Logic Programming
    Add to Cart The item has been added

    Algebraic and Logic Programming

    This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was...
    $116.00

    Add to Cart The item has been added
  • Finite Differenzen Und Elemente Finite Differenzen Und Elemente
    Add to Cart The item has been added

    Finite Differenzen Und Elemente

    Das vorliegende Werk ist ein Lehr- und Arbeitsbuch für den Selbstunterricht, für die Rechenpraxis und für Übungen. Es richtet sich an jeden Interessierten, mag er Physiker oder Ingenieur, Analytiker...
    $115.00

    Add to Cart The item has been added
  • Chinese Spoken Language Processing Chinese Spoken Language Processing
    Add to Cart The item has been added

    Chinese Spoken Language Processing

    This book constitutes the thoroughly refereed proceedings of the 5th International Symposium on Chinese Spoken Language Processing, ISCSLP 2006, held in Singapore in December 2006, co-located with...
    $227.00

    Add to Cart The item has been added
Mathematical foundations