Project-team MOEX Evolving Knowledge Human beings are apparently able to communicate knowledge. However, it is impossible for us to know...
Project-team TYREX Types and Reasoning for the Web Tyrex is a research project team, affiliated with CNRS LIG, Inria, UGA, and Grenoble INP. We develop...