(Išleidimo metai: 27-Sep-2018, EPUB+DRM, Leidėjas: John Wiley & Sons Inc, ISBN-13: 9781119273264)
An essential guide to using Maxima, a popular open source symbolic mathematics engine to solve problems, build models, analyze data and explore fundamental concepts Symbolic Mathematics for Chemists offers students of chemistry a guide to Maxima, a p...Daugiau...
(Išleidimo metai: 24-Aug-2018, PDF+DRM, Leidėjas: John Wiley & Sons Inc, ISBN-13: 9781119273233)
An essential guide to using Maxima, a popular open source symbolic mathematics engine to solve problems, build models, analyze data and explore fundamental concepts Symbolic Mathematics for Chemists offers students of chemistry a guide to Maxima, a p...Daugiau...
To endow computers with common sense is one of the major long-term goals of artificial intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning: An Event Calculus Based...Daugiau...
To endow computers with common sense is one of the major long-term goals of artificial intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning: An Event Calculus Based...Daugiau...
Serija: Nonconvex Optimization and Its Applications
(Išleidimo metai: 27-Nov-2013, PDF+DRM, Leidėjas: Springer-Verlag New York Inc., ISBN-13: 9781461553137)
An understanding of emergent computation requires a profound revision of the most fundamental ideas. A noticeable attempt of such a rethinking is a world view in which natural systems are seen not as separate entities but as integrated parts of a...Daugiau...
Time is a fascinating subject and has long since captured mankinds imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. T...Daugiau...
From the very beginning of their investigation of human reasoning, philosophers have identified two other forms of reasoning, besides deduction, which we now call abduction and induction. Deduction is now fairly well understood, but abduction and...Daugiau...
In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssenspringer.com for more information. This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics...Daugiau...
Serija: The Springer International Series in Engineering and Computer Science
(Išleidimo metai: 06-Dec-2012, PDF+DRM, Leidėjas: Springer-Verlag New York Inc., ISBN-13: 9781461552178)
Mathematical Principles of Fuzzy Logic provides a systematic study of the formal theory of fuzzy logic. The book is based on logical formalism demonstrating that fuzzy logic is a well-developed logical theory. It includes the theory of functional...Daugiau...
Serija: The Springer International Series in Engineering and Computer Science
(Išleidimo metai: 06-Dec-2012, PDF+DRM, Leidėjas: Springer-Verlag New York Inc., ISBN-13: 9781461515296)
Computer systems that analyze images are critical to a wide variety of applications such as visual inspections systems for various manufacturing processes, remote sensing of the environment from space-borne imaging platforms, and automatic diagnos...Daugiau...
Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
Serija: Lecture Notes in Computer Science
(Išleidimo metai: 10-Nov-2011, PDF+DRM, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642250705)
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010. The 13 revised full papers presented were carefully selected...Daugiau...
James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban
Serija: Lecture Notes in Computer Science
(Išleidimo metai: 18-Jul-2011, PDF+DRM, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642226731)
This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Know...Daugiau...
(Išleidimo metai: 03-May-2011, PDF+DRM, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642210464)
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Automated Deduction in Geometry, ADG 2008, held in Shanghai, China in September 2008. The 11 revised full papers presented were carefully rev...Daugiau...
To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level...Daugiau...
