الصفحة 2
الصفحة 2
Argumentation Methods for Artificial Intelligence in Law
In this book, Walton presents his perspective on argumentation methods for artificial intelligence and law. … the different tools are combined in a way that makes them potentially useful for understanding legal reasoning. … this book offers a valuable perspective on the current state and future research directions of argumentation methods for artificial intelligence and law." (Jelle van Veenen, Artificial Intelligence and Law,
Applied Proof Theory : Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.
Algèbre, Chapitre 9 = Algebra, Chapter 9
Sesquilinear and quadratic forms : The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation without prerequisites of mathematics from their foundations. This ninth chapter of the Book of Algebra, the second Book of the treatise, is devoted to quadratic, symplectic or Hermitian forms and to associated groups.
AiREAS : Sustainocracy for a healthy city : Phase 3 : Civilian participation – Including the global health deal proposition
This volume describes phase 3 of the AiREAS multidisciplinary cocreation effort to produce a Healthy City. Phase 1 referred to making visible the invisible from an air quality and human exposure perspective. Phase 2 studies air quality related to health and Phase 3 looks at air quality, health and lifestyle from the perspective of persuasion to innovative change. The three books together describe the coming about and first results of the AiREAS "healthy city" cooperative in the city of Eindhoven and Province of North Brabant in the Netherlands. AiREAS is an initiative focused on the multidisciplinary co-creation of healthy cities using the core human value of human health and air quality as guiding principle for profound regional innovation.
Advanced organic chemistry ; Part B : Reaction and synthesis
Since its original appearance in 1977, Advanced Organic Chemistry has maintained its place as the premier textbook in the field, offering broad coverage of the structure, reactivity and synthesis of organic compounds. As in the earlier editions, the text contains extensive references to both the primary and review literature and provides examples of data and reactions that illustrate and document the generalizations. While the text assumes completion of an introductory course in organic chemistry, it reviews the fundamental concepts for each topic that is discussed.
