IDA Tetsuo

Researcher's full information

Teaching
2011-04 -- 2012-03Seminar B in Computer ScienceUniversity of Tsukuba.
2011-04 -- 2012-03Seminar A in Computer ScienceUniversity of Tsukuba.
2011-04 -- 2012-03Seminar in Computer ScienceUniversity of Tsukuba.
2011-04 -- 2011-07Software and Computing Science Laboratory IUniversity of Tsukuba.
2011-08 -- 2011-11Models of ComputationUniversity of Tsukuba.
2011-08 -- 2011-11Software and Computing Science Laboratory IIUniversity of Tsukuba.
2011-12 -- 2012-03Advanced Models for Deduction and ComputationUniversity of Tsukuba.
2011-12 -- 2012-03Software and Computing Science Laboratory IIIUniversity of Tsukuba.
2010-04 -- 2011-03Research in Computer Science IIUniversity of Tsukuba.
2010-04 -- 2011-03Research in Computer Science IUniversity of Tsukuba.
more...