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