首页>外文会议>计算机、自动化>International Seminar on Relational Methods in Computer Science and 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI; 20050222-26; St.Catharines(CA)
International Seminar on Relational Methods in Computer Science and 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI; 20050222-26; St.Catharines(CA)