1
Hierarchical Bayesian Optimization Algorithm [E-Book] : Toward a new Generation of Evolutionary Algorithms /
2
Artificial Intelligence and Symbolic Computation [E-Book] : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings /
3
Argumentation in Artificial Intelligence [E-Book] /
4
Automated Deduction in Geometry [E-Book] : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers /
5
Experimental Algorithms [E-Book] : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings /
6
Logic-Based Program Synthesis and Transformation [E-Book] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers /
7
Experimental and Efficient Algorithms [E-Book] : Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings /
8
Logic-Based Program Synthesis and Transformation [E-Book] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
9
New Developments in Parsing Technology [E-Book] /
10
Artificial Intelligence and Symbolic Computation [E-Book] : International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers /