Constructive Negations and Paraconsistency
This book presents the author’s recent investigations of the two main concepts of negation developed in the constructive ...
Lire la suite
Data Quality
Batini and Scannapieco present a comprehensive and systematic introduction to the wide set of issues related to data quality. ...
Lire la suite
Handbook of Philosophical Logic
I would like to take this opportunity to put forward my current views about logic in computer science, computational linguistics ...
Lire la suite
Inconsistency Tolerance
Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification ...
Lire la suite
Paul Lorenzen -- Mathematician and Logician
This book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th ...
Lire la suite
Public Interest and Private Enterprize: New Developments
This book deals with the effect of public and semi-public companies on economy. In traditional economic models, several private ...
Lire la suite
Reversible Computation
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Lire la suite
Software-Intensive Systems and New Computing Paradigms : Challenges and Visions
The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
Lire la suite
Support Vector Machines
This book explains the principles that make support vector machines (SVMs) a successful modelling and prediction tool for ...
Lire la suite
