类似的网站 Kurt.Scitec.Kobe-u.Ac.Jp
Group of Logic, Statistics & Informatics at Kobe University
描述: Foundations of Mathematics and Computer Science.
热门搜索: kurt scitec kobe u ac
网站评级:
3.0 / 5.0, 审阅 Sites Like Search
语: English
网站主题: math
department of computer science in university ben-gurion of negev
网站评级:
3.0 / 5.0, 语: English
Performs basic and applied research on the ontological foundations of conceptual modeling. Features events, projects, publications, tutorials and contact for ...
网站评级:
3.0 / 5.0, 语: English
Universidad Nacional de Colombia
网站评级:
3.0 / 5.0, 语: Español
Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in ...
网站评级:
3.0 / 5.0, 语: English
University of Waterloo - Universal algebra, logic, computers.
网站评级:
3.0 / 5.0, 语: English
Indiana University is a leading research and teaching institution and one of the best values in public education according to Kiplinger's.
网站评级:
4.5 / 5.0, 语: English
ECOR represents a new approach in applying ontology to a variety of problems in information science and related areas, by coordinating institutions, organisations ...
网站评级:
3.0 / 5.0, 语: English
Stanford University is one of the world's leading research and teaching institutions. It is located in Stanford, California.
网站评级:
4.5 / 5.0, 语: English