Electronic Books

Total Books: 1 - 20 /70

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

This publication examines the impact of connected and automated vehicles on the European city and the conditions that can ...

This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...

This book gives a comprehensive and detailed look at the current approaches to automated question answering. The book can ...

It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...

It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...

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

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

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

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

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

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

This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...

This book discusses and proposes techniques for development of an automated multi-camera surveillance system for outdoor ...

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

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

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

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

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

Total Books: 1 - 20 /70