IDA Tetsuo

Researcher's full information

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