Tetsuo Ida

发表

Tetsuo Ida, T. Ida, 2020 .
Tetsuo Ida, 2001, Electron. Notes Theor. Comput. Sci..
Tetsuo Ida, 2012, 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Tetsuo Ida, Fadoua Ghourabi, Mircea Marin, 2006 .
Tetsuo Ida, Aart Middeldorp, Satoshi Okui, 1996, Theor. Comput. Sci..
Masato Takeichi, Tetsuo Ida, Atsushi Ohori, 1997 .
Tetsuo Ida, Satoshi Okui, 1994 .
Taro Suzuki, Tetsuo Ida, Mircea Marin, 1999, Fuji International Symposium on Functional and Logic Programming.
Taro Suzuki, Tetsuo Ida, Mircea Marin, 2000, WFLP.
Akihiko Konagaya, Tetsuo Ida, A. Konagaya, 1984, RIMS Symposia on Software Science and Engineering.
Bruno Buchberger, Tetsuo Ida, Hidekazu Takahashi, 2004, Automated Deduction in Geometry.
Tetsuo Ida, 2008, 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Tetsuo Ida, Norio Kobayashi, Mircea Marin, 2001, APLAS.
Bruno Buchberger, Tetsuo Ida, Judit Robu, 2004, AISC.
Bruno Buchberger, Tetsuo Ida, Temur Kutsia, 2008 .
Tetsuo Ida, Chu Shik Jhon, Myuhng Joo Kim, 1992, IFIP Congress.
Taro Suzuki, Tetsuo Ida, Mircea Marin, 2001, EUROCAST.
Tetsuo Ida, Aart Middeldorp, Koichi Nakahara, 1995, PLILP.
Qiang Li, John Darlington, Yike Guo, 2001, Ann. Oper. Res..
Jacques D. Fleuriot, Tetsuo Ida, 2015, Annals of Mathematics and Artificial Intelligence.
Tetsuo Ida, Aart Middeldorp, Satoshi Okui, 1995, Theor. Comput. Sci..
Yike Guo, Maurizio Gabbrielli, Fritz Henglein, 1997, Lecture Notes in Computer Science.
Tetsuo Ida, Koichi Nakahara, T. Ida, 1997, Journal of Functional Programming.
Tetsuo Ida, Jiro Tanaka, 1983, IFIP Congress.
Adina Magda Florea, Tetsuo Ida, Guy Melançon, 2005 .
Tetsuo Ida, Mircea Marin, 2009, Wuhan University Journal of Natural Sciences.
Tetsuo Ida, Pascal Schreck, Laura Kovács, 2019, Ann. Math. Artif. Intell..
Tetsuo Ida, 2014, 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Tetsuo Ida, 1983, Inf. Process. Lett..
Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, 2003, APLAS.
Tetsuo Ida, Asem Kasem, T. Ida, 2008, Frontiers of Computer Science in China.
Tetsuo Ida, Fadoua Ghourabi, Mircea Marin, 2008, Electron. Notes Theor. Comput. Sci..
Tetsuo Ida, 2017, 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Tetsuo Ida, 2007, Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007).
Tetsuo Ida, T. Ida, 2020, Texts & Monographs in Symbolic Computation.
Tetsuo Ida, Mircea Marin, T. Ida, 2005 .
Tetsuo Ida, Eiichi Goto, E. Goto, 1977, IFIP Congress.
Kei Hiraki, Tetsuo Ida, Eiichi Goto, 1979, ISCA '79.
Tetsuo Ida, Toshihiro Matsuno, 1991 .
Tetsuo Ida, Mircea Marin, T. Ida, 2005, Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05).
Tetsuo Ida, Eiichi Goto, Takao Gunji, 2001 .
Stephen M. Watt, Tetsuo Ida, 2017, SCSS.
Tetsuo Ida, Kazuko Takahashi, Fadoua Ghourabi, 2015, J. Symb. Comput..
Tetsuo Ida, Fadoua Ghourabi, Asem Kasem, 2010, Automated Deduction in Geometry.
Tetsuo Ida, Kazuko Takahashi, Fadoua Ghourabi, 2013, SCSS.
Tetsuo Ida, Fadoua Ghourabi, Hidekazu Takahashi, 2011, J. Symb. Comput..
Tetsuo Ida, Asem Kasem, T. Ida, 2008 .
Tetsuo Ida, Hidekazu Takahashi, 2009, SAC '09.
Taro Suzuki, Tetsuo Ida, Mircea Marin, 2002, Progress in Discovery Science.
Dana Petcu, Marcin Paprzycki, Tetsuo Ida, 2005 .
Tetsuo Ida, 2006, 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Tetsuo Ida, Kozo Itano, 1981, SIGSMALL '81.
Tetsuo Ida, Hidekazu Takahashi, 2003 .
Tetsuo Ida, 2009, 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, 2005, MKM.
Tetsuo Ida, Mircea Marin, 2000, Proceedings International Symposium on Principles of Software Evolution.
Tetsuo Ida, 2005, SIGS.
Akira Aiba, Tetsuo Ida, Yoshihito Toyama, 1986 .
Tetsuo Ida, T. Ida, 2016, 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Jacques D. Fleuriot, Tetsuo Ida, Jacques Fleuriot, 2012, Lecture Notes in Computer Science.
Tetsuo Ida, Fadoua Ghourabi, Asem Kasem, 2011, SAC '11.
Tetsuo Ida, Fadoua Ghourabi, Mircea Marin, 2007, ICCSA.
Tetsuo Ida, Jiro Tanaka, 2009, New Generation Computing.
Tetsuo Ida, Eiichi Goto, E. Goto, 1978 .
Tetsuo Ida, Kazuko Takahashi, Fadoua Ghourabi, 2013, 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Masanori Idesawa, M. Suzuki, Kentaro Shimizu, 1982, LFP '82.
M. Idesawa, Tetsuo Ida, Nobuyuki Inada, 1981 .
Kazunori Ueda, Taiichi Yuasa, Takanobu Baba, 1994, Proceedings of the International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN).
Akira Aiba, Tetsuo Ida, Yoshihito Toyama, 1987 .
Cezary Kaliszyk, Tetsuo Ida, C. Kaliszyk, 2011, Calculemus/MKM.
Tetsuo Ida, Hidekazu Takahashi, 2010, J. Symb. Comput..
Tetsuo Ida, Hidekazu Takahashi, 2021, Electronic Proceedings in Theoretical Computer Science.
Bruno Buchberger, Tetsuo Ida, B. Buchberger, 2004 .
Dana Petcu, Marcin Paprzycki, Tetsuo Ida, 2005 .
John Darlington, Tetsuo Ida, Hing Wing To, 1996 .
Tetsuo Ida, T. Ida, Mohamed Hamada, 1997 .