KAMEYAMA Yukiyoshi

Researcher's full information

Teaching
2013-10 -- 2013-12Computational LogicUniversity of Tsukuba.
2013-07 -- 2013-08Introduction to Software and Computing Science IIUniversity of Tsukuba.
2012-04 -- 2013-03Research in Computer Science IIUniversity of Tsukuba.
2012-04 -- 2013-03Research in Computer Science IUniversity of Tsukuba.
2012-04 -- 2013-03Research in Computer ScienceUniversity of Tsukuba.
2012-04 -- 2013-03Seminar B in Computer ScienceUniversity of Tsukuba.
2012-04 -- 2013-03Seminar A in Computer ScienceUniversity of Tsukuba.
2012-04 -- 2013-03Seminar in Computer ScienceUniversity of Tsukuba.
2012-04 -- 2012-07Introduction to the First-order Logic and FormalismUniversity of Tsukuba.
2012-04 -- 2012-07Programming Languages and MethodologyUniversity of Tsukuba.
more...