Takao Inoué
发表
Takao Inoué,
Bing Xie,
Xiquan Liang,
2010,
Formaliz. Math..
Takao Inoué,
2007
.
Takao Inoué,
2007
.
Yasunari Shidama,
Noboru Endou,
Takao Inoué,
2010,
Formaliz. Math..
Adam Naumowicz,
Yasunari Shidama,
Noboru Endou,
2011,
Formaliz. Math..
Adam Naumowicz,
Yasunari Shidama,
Noboru Endou,
2011,
Formaliz. Math..
Takao Suzuki,
Takao Inoué,
2004
.
Takao Inoué,
2020,
Bulletin of the Section of Logic.
Yanqing Shen,
Takao Inoue,
J. Gruber,
2016,
PloS one.
P. Sternberg,
Takao Inoué,
Darren Z L Mok,
2015,
BMC Developmental Biology.
J. Thomas,
James H. Thomas,
C. Weaver,
1999,
Proceedings of the National Academy of Sciences of the United States of America.
K. Gengyo-Ando,
S. Mitani,
H. Arai,
2008
.
Takao Inoué,
2021,
Studia Logica.
J. Thomas,
James H. Thomas,
T. Inoue,
2000,
Genetics.