穴井 宏和  ANAI HIROKAZU

The proceedings of the 14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2016)

巻: 1

The proceedings of the 13th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015)

巻: 1 ページ: 1885-1886

Theoretical Computer Science

巻: vol. 479 ページ: 43-69

Theoretical Computer Science

巻: 479 ページ: 42-69

10.1016/j.tcs.2012.10.020

数理解析研究所講究録

巻: 1815 ページ: 143-151

120005554194

人工知能学会誌

巻: 27(5) ページ: 483-491

110009496296

電気評論

巻: 2011 年 3月号 ページ: 15-18

Mathematics in Computer Science

巻: 5(3) ページ: 303-314

Mathematics in Computer Science (MCS)

巻: 5-3 号: 3 ページ: 315-334

10.1007/s11786-011-0097-y

Mathematics in Computer Science (MCS)

巻: 5-2 号: 2 ページ: 209-221

10.1007/s11786-011-0090-5

Mathematics in Computer Science

巻: 5(2) ページ: 209-221

Mathematics in Computer Science (MCS)

巻: 5-3 号: 3 ページ: 303-314

10.1007/s11786-011-0095-0

Mathematics in Computer Science

巻: 5(3) ページ: 315-334

「数学セミナー」2010年3月号(日本評論社)

ページ: 52-57

「数学セミナー」2010年2月号(日本評論社)

ページ: 44-47

J. Symb. Comput

巻: 44(7) ページ: 703-725

Japan J. Indust. Appl. Math

巻: Volume 26, Number 2 ページ: 517-530

10028169383

Proceedings of the 3rd International Conference on Mathematical Aspects of Computer and Information Sciences 2009

ページ: 374-377

Proceedings of the ICROS-SICE International Joint Conference 2009

ページ: 2535-3520

Kyushu University

巻: Vol.1 JMI2009A-8 ページ: 57-68

Math.Comput.Sci. 2

ページ: 399-556

Journal of Symbolic Computation 44・7

ページ: 703-725

Math. Comput. Sci 1

ページ: 473-485

Proceedings of 10th CASC, LNCS(Springer, Heidelberg) 4770

ページ: 433-447

BioSystems 90

ページ: 486-495

Algebraic Biology, Lecture Notes in Computer Science(In Anai, H., Horimoto, K., Kutsia, T. (eds)) 4545

ページ: 110-124

Lecture Notes in Computer Science Springer, Heidelberg

ページ: 4545-4545