103 Trigonometry Problems contains highly-selected problems and solutions used in the training and testing of the USA International ...
Lire la suite
The book has three major themes: glimpses into the kind of interesting character he was, key excerpts from his writings, ...
Lire la suite
AI 2004 was the seventeenth in the series of annual Australian artificial intelli-gence conferences. This conference is the ...
Lire la suite
This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). the ...
Lire la suite
This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...
Lire la suite
This volume presents recent advances in the area of adaptativeness in metaheuristic optimization, including up-to-date reviews ...
Lire la suite
This book constitutes the refereed proceedings of the 4th Hellenic Conference on Artificial Intelligence, SETN 2006, held ...
Lire la suite
The papers collected in this volume were presented at the 6th European C- ference on Case-Based Reasoning (ECCBR 2002) held ...
Lire la suite
Evolutionary computing paradigms offer robust and powerful adaptive search mechanisms for system design. This book includes ...
Lire la suite
This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures, WADS ...
Lire la suite
The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems ...
Lire la suite
The book presented centers around an emergingde factost and ardfortime and event annotation: TimeML. TimeML has recently ...
Lire la suite
The book presented centers around an emergingde factost and ardfortime and event annotation: TimeML. TimeML has recently ...
Lire la suite
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative ...
Lire la suite
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...
Lire la suite
This book will examine the implications of digitalization for the understanding of humanity, conceived as a community of ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...
Lire la suite
New research in mathematics education deals with the complexity of the mathematics’ classroom. The classroom teaching situation ...
Lire la suite
Composite decisions consist of interconnected parts or subdecisions and correspond to a composite (composable, modular, decomposable) ...
Lire la suite
This volume contains 18 contributions to the Third Russian-German Advanced Research Workshop on Computational Science and ...
Lire la suite