Electronic Books

Total Books: 21 - 40 /156

Agent-Oriented Software Engineering VI

This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software ...

Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...

Anaphora: Analysis, Algorithms and Applications

This book presented sections on human processing and performance, language analysis and representation, resolution methodology ...

Anaphora: Analysis, Algorithms and Applications

This book presented sections on human processing and performance, language analysis and representation, resolution methodology ...

Applications and Innovations in Intelligent Systems XIII

The papers in this volume present new and innovative developments in the field, divided into sections on Applied AI in Information ...

Artificial General Intelligence

This book focused on engineering general intelligence – autonomous, self-reflective, self-improving, commonsensical intelligence.Each ...

Artificial General Intelligence

This book focused on engineering general intelligence – autonomous, self-reflective, self-improving, commonsensical intelligence.Each ...

Artificial Immune Systems : 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings

This book constitutes the refereed proceedings of the 7th International Conference on Artificial Immune Systems, ICARIS 2008, ...

Artificial Intelligence Techniques for Computer Graphics

This volume contains both invited and selected extended papers from the last 3IA Conference (3IA’2008), together with an ...

Artificial Intelligence and Innovations 2007: from Theory to Applications

This book brings together leading research from engineers and practitioners interested in the technical advances, business ...

Artificial Intelligence and Innovations 2007: from Theory to Applications

This book brings together leading research from engineers and practitioners interested in the technical advances, business ...

Artificial Intelligence and Symbolic Computation

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...

Artificial Intelligence: Methodology, Systems, and Applications

The AIMSA conference series was frst conceived in 1984 as a gathering of AI researchers and students from Eastern and Central ...

Automated Deduction in Geometry

The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...

Automated Deduction in Geometry

The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...

Automated Deduction in Geometry

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...

Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...

Automated Deduction – CADE-20

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...

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, ...

Automated Reasoning with Analytic Tableaux and Related Methods

This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...

Total Books: 21 - 40 /156