MIZUTANI Tetsuya

Researcher's full information

Teaching

2013-10 -- 2014-02	Research in Computer Science II	University of Tsukuba.
2013-04 -- 2013-08	Research in Computer Science II	University of Tsukuba.
2013-04 -- 2013-08	Software and Computing Science Laboratory A	University of Tsukuba.
2013-04 -- 2013-06	Introduction to the First-order Logic and Formalism	University of Tsukuba.
2013-04 -- 2013-07	Linear Algebra I	University of Tsukuba.
2013-10 -- 2013-12	Artificial Intelligence	University of Tsukuba.
2013-10 -- 2014-02	Research in Computer Science I	University of Tsukuba.
2013-04 -- 2013-08	Research in Computer Science I	University of Tsukuba.
2013-10 -- 2013-12	Logic in Computer Software	University of Tsukuba.
2013-10 -- 2014-02	Software and Computing Science Laboratory B	University of Tsukuba.
more...