Tetsuo Ida – författare
Visar alla böcker från författaren Tetsuo Ida.
5 produkter
Symbolic Computation in Software Science
10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings
Av Stephen M. Watt, Tetsuo Ida
Häftad, 2024
1739 kr
Lägg i varukorg
Artificial Intelligence and Symbolic Computation
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Av Jaques Calmet, Tetsuo Ida m. fl.
Häftad, 2006
729 kr
Lägg i varukorg
Automated Deduction in Geometry
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Av Tetsuo Ida, Jacques Fleuriot
Häftad, 2013
669 kr
Lägg i varukorg
FUNCTIONAL AND LOGIC PROGRAMMING - PROCEEDINGS OF THE SECOND FUJI INTERNATIONAL WORKSHOP
Av IDA TAKEICHI IDA A OHORI, Tetsuo Ida m. fl.
Inbunden, 1997
2569 kr
Tillfälligt slut