Tetsuo Ida
2 published titles
Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 ; proceedings
(Contributor)
1 edition
- ISBN: 9783540397281
- Springer
- 2006
- Details
Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012, revised selected papers
(Contributor)
1 edition
- ISBN: 9783642406713
- Springer
- 2013
- Details
