活動



最近のセミナー

ロジックシリーズ


多次元シリーズ

120th Presentation on Drupal Norbert Preining 2014/08/29
45th Substitutions and rules Rosalie Iemhoff 2012/11/13
44th Information distance Sebastiaan A. Terwijn 2012/11/09

フロンティアシリーズ


理論シリーズ


JAIST先端レクチャーシリーズ

8th Ontology-based Data Access Frank Wolter 2013/03/18
7th COMPUTATION AS AGENCY J. van Benthem 2012/10/02
6th Ontology-Based Data Access and Constraint Satisfaction Frank Wolter 2012/03/13