This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lee masThis book constitutes the refereed proceedings of the 6th International Conference on Computers and Games, CG 2008, held ...
Lee masThis book constitutes the thoroughly refered post-proceedings of the 11th Conference of the Spanish Association for Artificial ...
Lee masThe book presented address all current issues of artificial intelligence ranging from methodological and foundational aspects ...
Lee masThe book presented address all current issues of artificial intelligence ranging from methodological and foundational aspects ...
Lee masPresents a comprehensive comparison of the performance of stochastic optimization algorithms Includes an introduction to ...
Lee masThe human being aspires to the best possible performance. Both individuals and enterprises are looking for optimal—in other ...
Lee masThe human being aspires to the best possible performance. Both individuals and enterprises are looking for optimal—in other ...
Lee masThis book presents a comprehensive discussion on the field of distributed constraints, its algorithms and its active research ...
Lee masStochastic local search (SLS) algorithms enjoy great popularity as powerful and versatile tools for tackling computationally ...
Lee masStochastic local search (SLS) algorithms enjoy great popularity as powerful and versatile tools for tackling computationally ...
Lee masStarting in the middle of the 80s, there has been a growing and fruitful interaction between algebraic geometry and certain ...
Lee masThis book for Solving Multi-Objective Problems, significantly augmented with contemporary knowledge and adapted for the classroom. ...
Lee masThis book for Solving Multi-Objective Problems, significantly augmented with contemporary knowledge and adapted for the classroom. ...
Lee masThis book cover evolutionary algorithms as well as various other metaheuristics, like scatter search, tabu search, memetic ...
Lee masThis book cover evolutionary algorithms as well as various other metaheuristics, like scatter search, tabu search, memetic ...
Lee masThis volume contains the proceedings of EvoCOP 2005, the 5th European Conference on Evolutionary Computation in Combinatorial ...
Lee masMetaheuristics have been shown to be e?ective for di?cult combinatorial - timization problems appearing in various industrial, ...
Lee masMulticriterion optimization refers to problems with two or more objectives (normally in conflict with each other) which must ...
Lee masMulticriterion optimization refers to problems with two or more objectives (normally in conflict with each other) which must ...
Lee mas