KAMEYAMA Yukiyoshi

Researcher's full information

Teaching

2014-10 -- 2014-12	Computational Logic	University of Tsukuba.
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-10 -- 2013-12	Discrete Structures	University of Tsukuba.
2013-07 -- 2013-08	Advanced Course on Information Security	University of Tsukuba.
2013-04 -- 2013-06	Introduction to the First-order Logic and Formalism	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.
more...