| http://dbpedia.org/ontology/abstract
|
Институт исследований символьных вычислени … Институт исследований символьных вычислений (англ. Research Institute for Symbolic Computation (RISC Linz)) — один из ведущих исследовательских институтов в области символьных вычислений, включая автоматическое доказательство теорем и компьютерную алгебру. Институт расположен в Schloß Hagenberg в Хагенберге неподалёку от Линца в Австрии. RISC был основан в 1987 для Бруно Бухбергера и он переехал в Хагенберг в 1989 году. В 1999-м Франц Винклер занял место директора.999-м Франц Винклер занял место директора.
, The Research Institute for Symbolic Comput … The Research Institute for Symbolic Computation (RISC Linz) is a 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.e present chairman of RISC is Peter Paule.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.softwarepark-hagenberg.com +
, http://www.risc.uni-linz.ac.at/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
18819901
|
| http://dbpedia.org/ontology/wikiPageLength
|
604
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1012723755
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Linz +
, http://dbpedia.org/resource/Automated_theorem_proving +
, http://dbpedia.org/resource/Peter_Paule +
, http://dbpedia.org/resource/Computer_algebra +
, http://dbpedia.org/resource/Category:Computer_science_organizations +
, http://dbpedia.org/resource/Austria +
, http://dbpedia.org/resource/Bruno_Buchberger +
, http://dbpedia.org/resource/Symbolic_computation +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Compsci-stub +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Computer_science_organizations +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Institute +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Research_Institute_for_Symbolic_Computation?oldid=1012723755&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Research_Institute_for_Symbolic_Computation +
|
| owl:sameAs |
http://ru.dbpedia.org/resource/%D0%98%D0%BD%D1%81%D1%82%D0%B8%D1%82%D1%83%D1%82_%D0%B8%D1%81%D1%81%D0%BB%D0%B5%D0%B4%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B9_%D1%81%D0%B8%D0%BC%D0%B2%D0%BE%D0%BB%D1%8C%D0%BD%D1%8B%D1%85_%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B9 +
, http://www.wikidata.org/entity/Q874389 +
, https://global.dbpedia.org/id/52PRE +
, http://rdf.freebase.com/ns/m.04gplhd +
, http://yago-knowledge.org/resource/Research_Institute_for_Symbolic_Computation +
, http://dbpedia.org/resource/Research_Institute_for_Symbolic_Computation +
|
| rdf:type |
http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/ontology/University +
, http://dbpedia.org/class/yago/Organization108008335 +
, http://dbpedia.org/class/yago/SocialGroup107950920 +
, http://dbpedia.org/class/yago/Group100031264 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/WikicatComputerScienceOrganizations +
, http://dbpedia.org/class/yago/YagoPermanentlyLocatedEntity +
|
| rdfs:comment |
Институт исследований символьных вычислени … Институт исследований символьных вычислений (англ. Research Institute for Symbolic Computation (RISC Linz)) — один из ведущих исследовательских институтов в области символьных вычислений, включая автоматическое доказательство теорем и компьютерную алгебру. Институт расположен в Schloß Hagenberg в Хагенберге неподалёку от Линца в Австрии. RISC был основан в 1987 для Бруно Бухбергера и он переехал в Хагенберг в 1989 году. В 1999-м Франц Винклер занял место директора.999-м Франц Винклер занял место директора.
, The Research Institute for Symbolic Comput … The Research Institute for Symbolic Computation (RISC Linz) is a 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.e present chairman of RISC is Peter Paule.
|
| rdfs:label |
Research Institute for Symbolic Computation
, Институт исследований символьных вычислений
|
