Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Research_Institute_for_Symbolic_Computation> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- Research_Institute_for_Symbolic_Computation abstract "The Research Institute for Symbolic Computation (RISC Linz) is a leading research institute in the area of symbolic computation, including automated theorem proving and computer algebra. It is located in Schloß Hagenberg in Hagenberg near Linz in Austria. RISC was founded in 1987 under Bruno Buchberger and moved to Hagenberg in 1989. Present chairman of RISC is Peter Paule.".
- Research_Institute_for_Symbolic_Computation wikiPageExternalLink www.risc.uni-linz.ac.at.
- Research_Institute_for_Symbolic_Computation wikiPageExternalLink www.softwarepark-hagenberg.com.
- Research_Institute_for_Symbolic_Computation wikiPageID "18819901".
- Research_Institute_for_Symbolic_Computation wikiPageRevisionID "543075390".
- Research_Institute_for_Symbolic_Computation hasPhotoCollection Research_Institute_for_Symbolic_Computation.
- Research_Institute_for_Symbolic_Computation subject Category:Computer_science_organizations.
- Research_Institute_for_Symbolic_Computation type Abstraction100002137.
- Research_Institute_for_Symbolic_Computation type ComputerScienceOrganizations.
- Research_Institute_for_Symbolic_Computation type Group100031264.
- Research_Institute_for_Symbolic_Computation type Organization108008335.
- Research_Institute_for_Symbolic_Computation type SocialGroup107950920.
- Research_Institute_for_Symbolic_Computation type YagoLegalActor.
- Research_Institute_for_Symbolic_Computation type YagoLegalActorGeo.
- Research_Institute_for_Symbolic_Computation type YagoPermanentlyLocatedEntity.
- Research_Institute_for_Symbolic_Computation comment "The Research Institute for Symbolic Computation (RISC Linz) is a leading research institute in the area of symbolic computation, including automated theorem proving and computer algebra. It is located in Schloß Hagenberg in Hagenberg near Linz in Austria. RISC was founded in 1987 under Bruno Buchberger and moved to Hagenberg in 1989. Present chairman of RISC is Peter Paule.".
- Research_Institute_for_Symbolic_Computation label "Research Institute for Symbolic Computation".
- Research_Institute_for_Symbolic_Computation label "Институт исследований символьных вычислений".
- Research_Institute_for_Symbolic_Computation sameAs m.04gplhd.
- Research_Institute_for_Symbolic_Computation sameAs Q874389.
- Research_Institute_for_Symbolic_Computation sameAs Q874389.
- Research_Institute_for_Symbolic_Computation sameAs Research_Institute_for_Symbolic_Computation.
- Research_Institute_for_Symbolic_Computation wasDerivedFrom Research_Institute_for_Symbolic_Computation?oldid=543075390.
- Research_Institute_for_Symbolic_Computation isPrimaryTopicOf Research_Institute_for_Symbolic_Computation.