1
Automated Deduction in Geometry [E-Book] : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers /

Full text 
Favorites
Saved in:
2
Experimental Algorithms [E-Book] : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings /

Full text 
Favorites
Saved in:
3
Logic-Based Program Synthesis and Transformation [E-Book] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
4
Logic-Based Program Synthesis and Transformation [E-Book] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
5
Experimental and Efficient Algorithms [E-Book] : Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings /

Full text 
Favorites
Saved in:
6
Digital Signal Processing in Power System Protection and Control [E-Book] /

Full text 
Favorites
Saved in:
7
Artificial Intelligence and Symbolic Computation [E-Book] : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings /

Full text 
Favorites
Saved in:
8
Artificial Intelligence and Symbolic Computation [E-Book] : International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers /

Full text 
Favorites
Saved in:

Narrow Search Results