Mathematical foundations Books

Mathematical logic
Number systems
Set theory
Sidebar Sidebar Sidebar
  • Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
    Add to Cart The item has been added

    Typed Lambda Calculi and Applications

    The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and...
    $122.00

    Add to Cart The item has been added
  • ZB 2005 ZB 2005
    Add to Cart The item has been added

    ZB 2005

    These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. ...
    $184.00

    Add to Cart The item has been added
  • Conditionals, Information, and Inference Conditionals, Information, and Inference
    Add to Cart The item has been added

    Conditionals, Information, and Inference

    Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in a very general sense, representing, for example, plausible relationships,...
    $116.00

    Add to Cart The item has been added
  • Systèmes multi-èchelles Systèmes multi-èchelles
    Add to Cart The item has been added

    Systèmes multi-èchelles

    Systèmes multi-échelles est une introduction à la problématique des systémes multi-échelles du point de vue du mathématicien appliqué. Il se compose d'une mosaique d'exemples de ...
    $116.00

    Add to Cart The item has been added
  • Numerical Analysis and Its Applications Numerical Analysis and Its Applications
    Add to Cart The item has been added

    Numerical Analysis and Its Applications

    This volume of the Lecture Notes in Computer Science series contains the p- ceedings of the 3rd Conference on Numerical Analysis and Its Applications, which was held at the University of Rousse,...
    $184.00

    Add to Cart The item has been added
  • Analysis and Numerics for Conservation Laws Analysis and Numerics for Conservation Laws
    Add to Cart The item has been added

    Analysis and Numerics for Conservation Laws

    Whatdoasupernovaexplosioninouterspace,?owaroundanairfoil and knocking in combustion engines have in common? The physical and chemical mechanisms as well as the sizes of these processes are quite...
    $184.00

    Add to Cart The item has been added
  • Natural Language Processing - IJCNLP 2004 Natural Language Processing - IJCNLP 2004
    Add to Cart The item has been added

    Natural Language Processing - IJCNLP 2004

    IJCNLP 2004 heralded a new era for computational linguistics and natural l- guage processing in Asia, as it coincided with the launching of the Asian F- eration of NLP Associations (AFNLP) in Sanya,...
    $227.00

    Add to Cart The item has been added
  • Dimension Reduction of Large-Scale Systems Dimension Reduction of Large-Scale Systems
    Add to Cart The item has been added

    Dimension Reduction of Large-Scale Systems

    In the past decades, model reduction has become an ubiquitous tool in analysis and simulation of dynamical systems, control design, circuit simulation, structural dynamics, CFD, and many other...
    $270.00

    Add to Cart The item has been added
  • Mechanizing Mathematical Reasoning Mechanizing Mathematical Reasoning
    Add to Cart The item has been added

    Mechanizing Mathematical Reasoning

    By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. ...
    $227.00

    Add to Cart The item has been added
  • Implementation and Application of Automata Implementation and Application of Automata
    Add to Cart The item has been added

    Implementation and Application of Automata

    This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International Conference on Implemen- tion and Application of Automata, CIAA 2004...
    $122.00

    Add to Cart The item has been added
  • Valued Fields Valued Fields
    Add to Cart The item has been added

    Valued Fields

    Absolute values and their completions - such as the p-adic number fields - play an important role in number theory. Krull's generalization of absolute values to valuations made possible applications...
    $294.00

    Add to Cart The item has been added
  • Transactions on Rough Sets II Transactions on Rough Sets II
    Add to Cart The item has been added

    Transactions on Rough Sets II

    This collection of articles is devoted to fuzzy as well as rough set theories. Both theoriesarebasedonrigorousideas,methodsandtechniquesinlogic,mathem- ics, and computer science for treating problems...
    $122.00

    Add to Cart The item has been added
  • Frontiers of Numerical Analysis Frontiers of Numerical Analysis
    Add to Cart The item has been added

    Frontiers of Numerical Analysis

    TheEleventh LMS-EPSRCComputational MathematicsandScienti?cC- puting Summer School was held at the University of Durham, UK, from the 4th of July to the 9th of July 2004. This was the third of these...
    $92.00

    Add to Cart The item has been added
  • Logics in Artificial Intelligence Logics in Artificial Intelligence
    Add to Cart The item has been added

    Logics in Artificial Intelligence

    Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in arti?cial intelligence. With the depth and maturity of formalisms,...
    $227.00

    Add to Cart The item has been added
  • Advances in Natural Language Processing Advances in Natural Language Processing
    Add to Cart The item has been added

    Advances in Natural Language Processing

    EsTAL - Espana ˜ for Natural Language Processing - continued on from the three previous conferences: FracTAL, held at the Universit´ e de Franch-Comt´ e, Besan¸ con (France) in December 1997, VexTAL,...
    $220.00

    Add to Cart The item has been added
  • Coevolutionary Fuzzy Modeling Coevolutionary Fuzzy Modeling
    Add to Cart The item has been added

    Coevolutionary Fuzzy Modeling

    Building on fuzzy logic and evolutionary computing, this book introduces fuzzy cooperative coevolution as a novel approach to systems design, conductive to explaining human decision process. Fuzzy...
    $122.00

    Add to Cart The item has been added
  • Knowledge Discovery in Databases Knowledge Discovery in Databases
    Add to Cart The item has been added

    Knowledge Discovery in Databases

    The proceedings of ECML/PKDD 2004 are published in two separate, albeit - tertwined,volumes:theProceedingsofthe 15thEuropeanConferenceonMac- ne Learning (LNAI 3201) and the Proceedings of the 8th...
    $122.00

    Add to Cart The item has been added
  • Computer Science Logic Computer Science Logic
    Add to Cart The item has been added

    Computer Science Logic

    Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20-24, 2004 in Karpacz, Poland. The CSL conference series...
    $92.00

    Add to Cart The item has been added
  • Formal Methods for Components and Objects Formal Methods for Components and Objects
    Add to Cart The item has been added

    Formal Methods for Components and Objects

    Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the ...
    $92.00

    Add to Cart The item has been added
  • Theory Is Forever Theory Is Forever
    Add to Cart The item has been added

    Theory Is Forever

    This Festschrift celebrates the 70th birthday of Arto Kustaa Salomaa (born in Turku, Finland on June 6, 1934), one of the most in?uential researchers in theoretical computer science. Most ofhis...
    $92.00

    Add to Cart The item has been added
  • Mathematics of Program Construction Mathematics of Program Construction
    Add to Cart The item has been added

    Mathematics of Program Construction

    This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of...
    $122.00

    Add to Cart The item has been added
  • Natural Language Generation Natural Language Generation
    Add to Cart The item has been added

    Natural Language Generation

    The Third International Conference on Natural Language Generation (INLG 2004) was held from 14th to 16th July 2004 at Careys Manor, Brockenhurst, UK. Supported by the Association for Computational...
    $122.00

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

    Lectures on Concurrency and Petri Nets

    Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.-...
    $184.00

    Add to Cart The item has been added
  • Meshfree Particle Methods Meshfree Particle Methods
    Add to Cart The item has been added

    Meshfree Particle Methods

    Meshfree Particle Methods is a comprehensive and systematic exposition of particle methods, meshfree Galerkin and partitition of unity methods, molecular dynamics methods, and ...
    $238.00

    Add to Cart The item has been added
  • Nonstandard Analysis, Axiomatically Nonstandard Analysis, Axiomatically
    Add to Cart The item has been added

    Nonstandard Analysis, Axiomatically

    In the aftermath of the discoveries in foundations of mathematiC's there was surprisingly little effect on mathematics as a whole. If one looks at stan­ dard textbooks in different mathematical...
    $227.00

    Add to Cart The item has been added
  • Current Topics in Artificial Intelligence Current Topics in Artificial Intelligence
    Add to Cart The item has been added

    Current Topics in Artificial Intelligence

    TheSpanish Associationfor Arti?cialIntelligence(AEPIA) wasfounded in1983 aiming to encourage the development of arti?cial intelligence in Spain. AEPIA is a member of the ECCAI (European Co-ordinating...
    $184.00

    Add to Cart The item has been added
  • Program Development in Computational Logic Program Development in Computational Logic
    Add to Cart The item has been added

    Program Development in Computational Logic

    1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened its...
    $122.00

    Add to Cart The item has been added
  • Deontic Logic in Computer Science Deontic Logic in Computer Science
    Add to Cart The item has been added

    Deontic Logic in Computer Science

    This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON workshop series aims at bringing together researchers...
    $122.00

    Add to Cart The item has been added
  • Rough Sets and Current Trends in Computing Rough Sets and Current Trends in Computing
    Add to Cart The item has been added

    Rough Sets and Current Trends in Computing

    In recent years rough set theory has attracted the attention of many researchers and practitioners all over the world, who have contributed essentially to its development and applications. ...
    $256.00

    Add to Cart The item has been added
  • Conceptual Structures at Work Conceptual Structures at Work
    Add to Cart The item has been added

    Conceptual Structures at Work

    This volume contains selected papers presented at the 12th International C- ference on Conceptual Structures, ICCS 2004, held in Huntsville Alabama, July 19-23, 2004. The main theme of the...
    $92.00

    Add to Cart The item has been added
  • Transactions on Rough Sets I Transactions on Rough Sets I
    Add to Cart The item has been added

    Transactions on Rough Sets I

    We would like to present, with great pleasure, the ?rst volume of a new jo- nal, Transactions on Rough Sets. This journal, part of the new journal subline in the Springer-Verlag series Lecture Notes...
    $92.00

    Add to Cart The item has been added
  • Rewriting Techniques and Applications Rewriting Techniques and Applications
    Add to Cart The item has been added

    Rewriting Techniques and Applications

    This volume contains the proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004), which was held June 2- 5, 2004, at the RWTH Aachen in Germany. RTA is...
    $92.00

    Add to Cart The item has been added
Mathematical foundations