Ebook > Science > Mathématiques > Franz Baader & Diego Calvanese: Description Logic Handbook (PDF)

Franz Baader & Diego Calvanese
Description Logic Handbook
Theory, Implementation and Applications

Support

Couverture du Franz Baader & Diego Calvanese: Description Logic Handbook (PDF)

€77.22

Langue Anglais ● Format PDF ● ISBN 9780511717383 ● Éditeur Franz Baader & Diego Calvanese ● Maison d’édition Cambridge University Press ● Publié 2010 ● Téléchargeable 6 fois ● Devise EUR ● ID 2336424 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Franz Baader Diego Calvanese Deborah L. McGuinness Daniele Nardi Peter F. Patel-Schneider Dresden) Baader Franz (Technische Universitat Bolzano) Calvanese Diego (Freie Universitat Bozen New York) McGuinness Deborah L. (Rensselaer Polytechnic Institute Daniele (Universita degli Studi di Roma La Sapienza ,. Italy) Nardi Daniele (Universita degli Studi di Roma La Sapienza

47 391 Ebooks dans cette catégorie

Couverture du David Alfredo Baez Villegas & David Baez-Lopez: Introduction to Python

David Alfredo Baez Villegas & David Baez-Lopez: Introduction to Python

Introduction to Python: with Applications in Optimization, Image and Video Processing, and Machine Learning is intended primarily for advanced undergraduate and graduate students in quantitative …

Couverture du Stephen Lynch: A Simple Introduction to Python

Stephen Lynch: A Simple Introduction to Python

A Simple Introduction to Python is aimed at pre-university students and complete novices to programming. The whole book has been created using Jupyter notebooks. After introducing Python as a powerfu …

Couverture du Rasajit Kumar (Department of Science, NITTTR, Kolkata, India) Bera & Arabinda (Department of Applied Mathematics, University of Calcutta, Kolkata, INDIA) Roy: Linear and Non-Linear Deformations of Elastic Solids

Rasajit Kumar (Department of Science, NITTTR, Kolkata, India) Bera & Arabinda (Department of Applied Mathematics, University of Calcutta, Kolkata, INDIA) Roy: Linear and Non-Linear Deformations of Elastic Solids

Linear and Non-Linear Deformations of Elastic Solids aims to compile the advances in the field of linear and non-linear elasticity through discussion of advanced topics. Broadly classified into two p …

Couverture du Ana (University of Exeter, UK) Rodrigues: One-Dimensional Dynamical Systems

Ana (University of Exeter, UK) Rodrigues: One-Dimensional Dynamical Systems

For almost every phenomenon in physics, chemistry, biology, medicine, economics, and other sciences, one can make a mathematical model that can be regarded as a dynamical system. One-Dimensional Dyna …

Couverture du Ranjan (Viasat Inc., Phoenix, USA) Ganguli: Isospectral Vibrating Systems

Ranjan (Viasat Inc., Phoenix, USA) Ganguli: Isospectral Vibrating Systems

This book presents an isospectral approach for several important mechanical vibrating systems. Discrete and continuous isospectral systems are discussed using a simple multi-degree of freedom spring- …

Couverture du Ali Ahmadian & Soheil Salahshour: Soft Computing Approach for Mathematical Modeling of Engineering Problems

Ali Ahmadian & Soheil Salahshour: Soft Computing Approach for Mathematical Modeling of Engineering Problems

This book describes different mathematical modeling and soft computing techniques used to solve practical engineering problems. It gives an overview of the current state of soft computing techniques …

Couverture du Barbara Di Eugenio & Davide Fossati: Intelligent Support for Computer Science Education

Barbara Di Eugenio & Davide Fossati: Intelligent Support for Computer Science Education

Intelligent Support for Computer Science Education presents the authors’ research journey into the eﬀectiveness of human tutoring, with the goal of developing educational technology that can be used …

Couverture du Mykola Mykolayovych Bilan & Stepan Mykolayovych Bilan: New Methods and Paradigms for Modeling Dynamic Processes Based on Cellular Automata

Mykola Mykolayovych Bilan & Stepan Mykolayovych Bilan: New Methods and Paradigms for Modeling Dynamic Processes Based on Cellular Automata

The accelerating development of computer technology and communications can replace many of the functions of human intellectual activity, as well as help them in making decisions in various situations …

Couverture du Osman Hasan & Sofiene Tahar: Formalized Probability Theory and Applications Using Theorem Proving

Osman Hasan & Sofiene Tahar: Formalized Probability Theory and Applications Using Theorem Proving

Couverture du Clifford (Professor Emeritus of Physics, State University of New York) Swartz: Back-of-the-Envelope Physics

Clifford (Professor Emeritus of Physics, State University of New York) Swartz: Back-of-the-Envelope Physics

From an award-winning teacher, “a delightful and instructive accessory to an introductory physics course” (Physics World). Physicists use “back-of-the-envelope” estimates to check whether or no …

Page suivante >>>