Your Search
[Search Results by Research Areas]
Informatics
-> Information theory
Results
11-13 of about 13
Graduate School of Mathematics Division of Mathematics
Formal Verification of Programs, Functional Programming, Formalization of mathematics, Quantum Computation, Type Theory
Graduate School of Informatics Department of Computing and Software Systems 1
Term rewriting systems, Combinatorial optimization, Informatics / Intelligent informatics
Graduate School of Informatics Department of Computing and Software Systems 1
Informatics / Software, Informatics / Information theory, Informatics / Biological, health, and medical informatics, Informatics / Intelligent informatics
PREV - NEXT