Electronic Books

Total Books: 12/33
Adaptive Multimedial Retrieval: Retrieval, User, and Semantics : 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007 Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Adaptive Multimedia ...

Lire la suite
Advances in Web Intelligence

In recent years the Internet has become a source of data and information of indisputable importance and has immensely gained ...

Lire la suite
Automated Deduction – CADE-21

All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...

Lire la suite
Automated Deduction – CADE-21

All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...

Lire la suite
Automated Reasoning

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...

Lire la suite
Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...

Lire la suite
Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

Lire la suite
Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

Lire la suite
Canadian Semantic Web

This book covers a variety of well known topics of interest to practitioners in industry and research scientists. The range ...

Lire la suite
Cognitive Vision Systems

This volume is a post-event proceedings volume and contains selected papers based on the presentations given, and the lively ...

Lire la suite
Declarative Programming for Knowledge Management

This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...

Lire la suite
Knowledge Science, Engineering and Management

This book constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and ...

Lire la suite
Total Books: 12/33