Enterprise Level Security 2: Advanced Topics in an Uncertain World follows on from the authors' first book on Enterprise Level Security (ELS), which covered the basic concepts of ELS and the discoveries made during the first eight years of its development.
This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics.
Logic for Kids is intended to help parents take charge of the intellectual development of their children in a critical area: the acquisition of skills related to logical reasoning.
This book aims to be a comprehensive and accurate survey of state-of-art research on intuitionistic fuzzy sets theory and could be considered a continuation and extension of the author's previous book on Intuitionistic Fuzzy Sets, published by Springer in 1999 (Atanassov, Krassimir T.
Hybrid Intelligent Systems summarizes the strengths and weaknesses of five intelligent technologies: fuzzy logic, genetic algorithms, case-based reasoning, neural networks and expert systems, reviewing the status and significance of research into their integration.
The Untold Story of Everything Digital: Bright Boys, Revisited celebrates the 70th anniversary (1949-2019) of the world "e;going digital"e; for the very first time-real-time digital computing's genesis story.
Logic for Kids is intended to help parents take charge of the intellectual development of their children in a critical area: the acquisition of skills related to logical reasoning.
Introduction to Recognition and Deciphering of Patterns is meant to acquaint STEM and non-STEM students with different patterns, as well as to where and when specific patterns arise.
This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021.
This book develops a new approach to plural arbitrary reference and examines mereology, including considering four theses on the alleged innocence of mereology.
Quantum mechanics is arguably one of the most successful scientific theories ever and its applications to chemistry, optics, and information theory are innumerable.
This collection of prize-winning essays addresses the controversial question of how meaning and goals can emerge in a physical world governed by mathematical laws.
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory.
This is a self-contained exposition by one of the leading experts in lattice theory, George Gratzer, presenting the major results of the last 70 years on congruence lattices of finite lattices, featuring the author's signature Proof-by-Picture method.
The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory.
The present monograph is a slightly revised version of my Habilitations- schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997.
Classical and Fuzzy Concepts in Mathematical Logic and Applications provides a broad, thorough coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic.
