IDA Tetsuo

Researcher's full information

Teaching

2007-08 -- 2007-11	Models of Computation	University of Tsukuba.
2007-08 -- 2007-11	Art of Programming	University of Tsukuba.
2007-08 -- 2007-11	Art of Programming	University of Tsukuba.
2007-08 -- 2007-11	Introduction to Software and Computing Science I	University of Tsukuba.
2007-12 -- 2008-03	Information Science Laboratory III	University of Tsukuba.
2007-12 -- 2008-03	Information Science Laboratory III	University of Tsukuba.
2007-12 -- 2008-03	Information Science Laboratory III	University of Tsukuba.
2007-12 -- 2008-03	Advanced Models for Deduction and Computation	University of Tsukuba.
2007-04 -- 2008-03	Research in Computer Science II	University of Tsukuba.
2007-04 -- 2008-03	Research in Computer Science I	University of Tsukuba.
more...