Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers Ida Tetsuo Heftet / 2013 / Engelsk
Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings Watt Stephen M. Heftet / 2024 / Engelsk
Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings Calmet Jaques Heftet / 2006 / Engelsk
