Books in category Mathematics – Logic

  • Machine Learning ECML 2003 14th European Conference on Machine Volume 14

    Machine Learning: ECML 2003: 14th European Conference on Machine …, Volume 14
    Nada Lavrač

    This book constitutes the refereed proceedings of the 14th European Conference on Machine Learning, ECML 2003, held in Cavtat-Dubrovnik, Croatia in September 2003 in conjunction with PKDD 2003.The 40 revised full papers presented together …

  • Emerging Intelligent Computing Technology and Applications With Aspects of Artificial Intelligence

    Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence
    De-Shuang Huang, Kang-Hyun Jo, Hong-Hee Lee

    The papers of this volume are organized in topical sections on Neural Networks, Evolutionary Learning & Genetic Algorithms, Granular Computing & Rough Sets, Fuzzy Theory and Models, Fuzzy Systems and Soft Computing, Swarm Intelligence and …

  • Computation Physics and Beyond

    Computation, Physics and Beyond
    Michael J. Dinneen, Bakhadyr Khoussainov, Prof. Andre Nies

    Contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in Auckland, New Zealand, in February 2012.

  • Lectures on Petri Nets II Applications

    Lectures on Petri Nets II: Applications
    Wolfgang Reisig, Grzegorz Rozenberg

    Together with its companion volume "Lectures on Petri Nets I: Basic Models" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are – interested in systems design and would …

  • Metamathematics of Fuzzy Logic

    Metamathematics of Fuzzy Logic
    Petr Hájek

    This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis.

  • Logical Frameworks for Truth and Abstraction

    Logical Frameworks for Truth and Abstraction
    A. Cantini

    This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as …

  • Multidisciplinary Aspects of Time and Time Perception

    Multidisciplinary Aspects of Time and Time Perception
    Argiro Vatakis, Anna Esposito, Maria Giagkou, Fred Cummins, Georgios Papadelis

    This book constitutes the documentation of the scientific outcome of the first meeting of the TIMELY network, the International Workshop on Multidisciplinary Aspects of Time and Time Perception, which took place in Athens, Greece, in …

  • Multi Valued Fields

    Multi-Valued Fields
    Yuri L. Ershov

    Many of the key results included in this book were obtained by the author whilst preparing the manuscript. Thus the unique overview of the theory, as developed in the book, has been previously unavailable.

  • Computable Analysis

    Computable Analysis
    Klaus Weihrauch

    Merging fundamental concepts of analysis and recursion theory to a new exciting theory, this book provides a solid fundament for studying various aspects of computability and complexity in analysis.

  • Lattice Valued Logic

    Lattice-Valued Logic
    Yang Xu

    The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly designed intelligent uncertain-information-processing systems and a wide spectrum of intelligent learning tasks.

1 2 3 4 5 Next >