Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Research_Institute_for_Symbolic_Computation> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples 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. The 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 wikiPageLength "613".
- Research_Institute_for_Symbolic_Computation wikiPageOutDegree "8".
- Research_Institute_for_Symbolic_Computation wikiPageRevisionID "642709773".
- Research_Institute_for_Symbolic_Computation wikiPageWikiLink Austria.
- Research_Institute_for_Symbolic_Computation wikiPageWikiLink Automated_theorem_proving.
- Research_Institute_for_Symbolic_Computation wikiPageWikiLink Bruno_Buchberger.
- Research_Institute_for_Symbolic_Computation wikiPageWikiLink Category:Computer_science_organizations.
- Research_Institute_for_Symbolic_Computation wikiPageWikiLink Computer_algebra.
- Research_Institute_for_Symbolic_Computation wikiPageWikiLink Linz.
- Research_Institute_for_Symbolic_Computation wikiPageWikiLink Peter_Paule.
- Research_Institute_for_Symbolic_Computation wikiPageWikiLink Symbolic_computation.
- Research_Institute_for_Symbolic_Computation wikiPageWikiLinkText "RISC Linz".
- Research_Institute_for_Symbolic_Computation wikiPageWikiLinkText "RISC".
- Research_Institute_for_Symbolic_Computation wikiPageWikiLinkText "Research Institute for Symbolic Computation".
- Research_Institute_for_Symbolic_Computation hasPhotoCollection Research_Institute_for_Symbolic_Computation.
- Research_Institute_for_Symbolic_Computation wikiPageUsesTemplate Template:Compsci-stub.
- Research_Institute_for_Symbolic_Computation subject Category:Computer_science_organizations.
- Research_Institute_for_Symbolic_Computation hypernym Institute.
- Research_Institute_for_Symbolic_Computation type University.
- Research_Institute_for_Symbolic_Computation type Organization.
- Research_Institute_for_Symbolic_Computation type Organization.
- 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. The present chairman of RISC is Peter Paule.".
- Research_Institute_for_Symbolic_Computation label "Research Institute for Symbolic Computation".
- Research_Institute_for_Symbolic_Computation sameAs m.04gplhd.
- Research_Institute_for_Symbolic_Computation sameAs Институт_исследований_символьных_вычислений.
- Research_Institute_for_Symbolic_Computation sameAs Q874389.
- Research_Institute_for_Symbolic_Computation sameAs Q874389.
- Research_Institute_for_Symbolic_Computation wasDerivedFrom Research_Institute_for_Symbolic_Computation?oldid=642709773.
- Research_Institute_for_Symbolic_Computation isPrimaryTopicOf Research_Institute_for_Symbolic_Computation.