Ebook > Sciences > Computer Science > Computer Science > Andrea Asperti & Bruno Buchberger: Mathematical Knowledge Management (PDF)

Andrea Asperti & Bruno Buchberger
Mathematical Knowledge Management
Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

Support

Cover of Andrea Asperti & Bruno Buchberger: Mathematical Knowledge Management (PDF)

€56.57

Language English ● Format PDF ● ISBN 9783540364696 ● Editor Andrea Asperti & Bruno Buchberger ● Publisher Springer Berlin Heidelberg ● Published 2007 ● Downloadable 3 times ● Currency EUR ● ID 6317312 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Andrea Asperti Bruno Buchberger James Harold Davenport

16,155 Ebooks in this category

Cover of Alex (Shantou University, China) Noel Joseph Raj & Xavier (St. Joseph's University, India) Savarimuthu: Artificial Intelligence for Multimedia Information Processing

Alex (Shantou University, China) Noel Joseph Raj & Xavier (St. Joseph’s University, India) Savarimuthu: Artificial Intelligence for Multimedia Information Processing

Advances in artificial intelligence (AI), widespread mobile devices, internet technologies, multimedia data sources, and information processing have led to the emergence of multimedia processing. Mul …

Cover of Paul Crickard: Data Engineering with Python

Paul Crickard: Data Engineering with Python

Build, monitor, and manage real-time data pipelines to create data engineering infrastructure efficiently using open-source Apache projects Key Features

Become well-versed in data archit …

Cover of Alaknanda (Pantnagar, College of Technology, G.B. Pant University of Agriculture and Technology, Rudrapui, Uttarakhand, India) Ashok & Ankur Dumka: Advanced Digital Image Processing and Its Applications in Big Data

Alaknanda (Pantnagar, College of Technology, G.B. Pant University of Agriculture and Technology, Rudrapui, Uttarakhand, India) Ashok & Ankur Dumka: Advanced Digital Image Processing and Its Applications in Big Data

This book covers the technology of digital image processing in various fields with big data and their applications. Readers will understand various technologies and strategies used in digital image …

Cover of Pietro (Dept. of cognitive science, University of Messina, Italy) Perconti & Alessio (University of Messina, Italy) Plebe: The Future of the Artificial Mind

Pietro (Dept. of cognitive science, University of Messina, Italy) Perconti & Alessio (University of Messina, Italy) Plebe: The Future of the Artificial Mind

The Future of the Artificial Mind is about the social and technological challenges posed by the new wave of artificial intelligence, both from a technical and a cognitive perspective. Deep neural net …

Cover of Vianey Guadalupe Cruz Sanchez & Osslan Osiris Vergara Villegas: Augmented Reality

Vianey Guadalupe Cruz Sanchez & Osslan Osiris Vergara Villegas: Augmented Reality

This book focuses on augmented reality (AR) technology, which uses the real environment to superimpose virtual elements. Therefore, the reader can create applications that simulate scenarios that can …

Cover of Francois Chollet & Antonio Gulli: Deep Learning with TensorFlow and Keras

Francois Chollet & Antonio Gulli: Deep Learning with TensorFlow and Keras

Build cutting edge machine and deep learning systems for the lab, production, and mobile devices. Purchase of the print or Kindle book includes a free e Book in PDF format. Key Features

Cover of Pushpak (CSE Dept, IIT Bombay) Bhattacharyya & Anoop (Microsoft R&D India Pvt. Ltd, India) Kunchukuttan: Machine Translation and Transliteration involving Related, Low-resource Languages

Pushpak (CSE Dept, IIT Bombay) Bhattacharyya & Anoop (Microsoft R&D India Pvt. Ltd, India) Kunchukuttan: Machine Translation and Transliteration involving Related, Low-resource Languages

Machine Translation and Transliteration involving Related, Low-resource Languages discusses an important aspect of natural language processing that has received lesser attention: translation and tran …

Cover of T.V. Pradeep Kumar & Bhavanari Satyanarayana: Mathematical Foundations of Computer Science

T.V. Pradeep Kumar & Bhavanari Satyanarayana: Mathematical Foundations of Computer Science

This book presents topics from mathematics which are relevant and useful to computer science. This book treats basic topics such as number theory, set theory, functions etc. in a simple way. Each cha …

Cover of Dinesh C. Verma: Federated AI for Real-World Business Scenarios

Dinesh C. Verma: Federated AI for Real-World Business Scenarios

This book provides an overview of Federated Learning and how it can be used to build real-world AI-enabled applications. Real-world AI applications frequently have training data distributed in many d …

Cover of Faiz (University of Edinburgh, UK) Iqbal & Tushar (The University of Edinburgh, UK) Semwal: Cyber-Physical Systems

Faiz (University of Edinburgh, UK) Iqbal & Tushar (The University of Edinburgh, UK) Semwal: Cyber-Physical Systems

A Cyber-Physical System (CPS) is an integration of cyber components with their physical counterparts. A cyber unit could be either a software or hardware. Physical components are those objects, which …