The RNA project deals in a very practical way with methods, tools and techniques for building dynamic knowledge systems. In these systems a key role is played by reference networks, sets of reference structures (like thesauri, taxonomies, etc.) and related content metadata. The project is financed by the Dutch Ministry of Economic Affairs under the auspices of the Ministry of Education, Culture and Science. It is a combined effort of a group of innovative small companies, vanguard institutions in the cultural heritage field and outstanding, internationally acclaimed academics.
ProofWeb is both a system for teaching logic and for using proof assistants through the web.
ProofWeb can be used in three ways. First, one can use the guest login, for which one does not even need to register. Secondly, a user can be a student in a logic or proof assistants course. We are hosting courses free of charge. If you are a teacher and would like to host your course on this server, send email to proofweb@cs.ru.nl. Thirdly, if teachers do not want to trust us with their students' files, they can freely download the ProofWeb system and run it on a server of their own.
The expert guide to the most important advances in biology
Explore the site to see which papers our Faculty of over 2000 world leading scientists have selected.
Encouraging and enabling the development of tools to facilitate the use of the DOI® System and DOI® names by end users is a priority of the International DOI Foundation.
This page identifies tools that are currently available, with descriptions and links to their sources, and tools that are currently under development. More will be added as they become available. We welcome your comments to contact@doi.org.
A. Hotho, R. Jäschke, C. Schmitz, and G. Stumme. Proceedings of the First Conceptual Structures Tool Interoperability Workshop at the 14th International Conference on Conceptual Structures, page 87-102. Aalborg, Aalborg Universitetsforlag, (2006)