Linear Genetic Programming examines the evolution of imperative computer programs written as linear sequences of instructions. ...
Lire la suite
Linear programming attracted the interest of mathematicians during and after World War II when the first computers were constructed ...
Lire la suite
Linear programming attracted the interest of mathematicians during and after World War II when the first computers were constructed ...
Lire la suite
Linear Programming: Foundations and Extensions is an introduction to the field of optimization. The book emphasizes constrained ...
Lire la suite
This book presents a unified treatment of linear programming. Without sacrificing mathematical rigor, the main emphasis of ...
Lire la suite
"Linear and Nonlinear Programming" is considered a classic textbook in Optimization. While it is a classic, it also reflects ...
Lire la suite
Although modern location theory is now more than 90 years old, the focus of researchers in this area has been mainly problem ...
Lire la suite
nd These proceedings contain the papers presented at the 2 International Workshop on Location- and Context-Awareness in May ...
Lire la suite
This exceptional book explains fundamentals in detail, supported by realistic examples, while most other books on the market ...
Lire la suite
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
Lire la suite
The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium ...
Lire la suite
This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...
Lire la suite
This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...
Lire la suite
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Lire la suite
Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones ...
Lire la suite
This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...
Lire la suite
Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming ...
Lire la suite
This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...
Lire la suite
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Lire la suite